„programming language“

Suchergebnisse

8.545 Treffer

• A Mahler’s Theorem for Word Functions (Track B: Automata, Logic, Semantics, and Theory of Programming)
  Pin, Jean-Éric ; Reutenauer, Christophe 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Solutions Sets to Systems of Equations in Hyperbolic Groups Are EDT0L in PSPACE (Track B: Automata, Logic, Semantics, and Theory of Programming)
  Ciobanu, Laura ; Elder, Murray 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Polynomially Ambiguous Probabilistic Automata on Restricted Languages (Track B: Automata, Logic, Semantics, and Theory of Programming)
  Bell, Paul C. 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Some Semantic Issues in Probabilistic Programming Languages (Invited Talk)
  Yang, Hongseok 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Proof Techniques for Program Equivalence in Probabilistic Higher-Order Languages (Invited Talk)
  Vignudelli, Valeria 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Challenges in Quantum Programming Languages (Invited Talk)
  Selinger, Peter 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Quantitative Semantics for Probabilistic Programming (Invited Talk)
  Tasson, Christine 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Approximating Language Edit Distance Beyond Fast Matrix Multiplication: Ultralinear Grammars Are Where Parsing Becomes Hard!
  Jayaram, Rajesh ; Saha, Barna 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Extending algebraic modelling languages for Stochastic Programming
  Valente, P. ; Mitra, Gautam ; Sadki, M. ; Fourer, Robert 2005 Humboldt-Universität zu Berlin
• EVF: An Extensible and Expressive Visitor Framework for Programming Language Reuse
  Zhang, Weixin ; Oliveira, Bruno C. d. S. 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Composing Software in an Age of Dissonance (Invited Talk)
  Bracha, Gilad 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Programming Language Abstractions for Modularly Verified Distributed Systems
  Wilcox, James R. ; Sergey, Ilya ; Tatlock, Zachary 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Teaching Programming Languages by Experimental and Adversarial Thinking
  Pombrio, Justin ; Krishnamurthi, Shriram ; Fisler, Kathi 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Programming Language Tools and Techniques for 3D Printing
  Nandi, Chandrakana ; Caspi, Anat ; Grossman, Dan ; Tatlock, Zachary 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Uncanny Valleys in Declarative Language Design
  Miller, Mark S. ; von Dincklage, Daniel ; Ercegovac, Vuk ; Chin, Brian 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Natural Language is a Programming Language: Applying Natural Language Processing to Software Development
  Ernst, Michael D. 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• WNetKAT: A Weighted SDN Programming and Verification Language
  Larsen, Kim G. ; Schmid, Stefan ; Xue, Bingtian 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Pi-Ware: Hardware Description and Verification in Agda
  Pizani Flor, João Paulo ; Swierstra, Wouter ; Sijsling, Yorick 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Certified Study of a Reversible Programming Language
  Paolini, Luca ; Piccolo, Mauro ; Roversi, Luca 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Formal Language Recognition with the Java Type Checker
  Gil, Yossi ; Levy, Tomer 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik