„Programming Languages“

Suchergebnisse

7.502 Treffer

• Don't Panic! Better, Fewer, Syntax Errors for LR Parsers
  Diekmann, Lukas ; Tratt, Laurence 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Formal Verification vs. Quantum Uncertainty
  Rand, Robert ; Hietala, Kesha ; Hicks, Michael 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Tour of Gallifrey, a Language for Geodistributed Programming
  Milano, Mae ; Recto, Rolph ; Magrino, Tom ; Myers, Andrew C. 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• The Next 700 Semantics: A Research Challenge
  Krishnamurthi, Shriram ; Lerner, Benjamin S. ; Elberty, Liam 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Golden Age of Hardware Description Languages: Applying Programming Language Techniques to Improve Design Productivity
  Truong, Lenny ; Hanrahan, Pat 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• From Theory to Systems: A Grounded Approach to Programming Language Education
  Crichton, Will 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Finally, a Polymorphic Linear Algebra Language (Pearl)
  Shaikhha, Amir ; Parreaux, Lionel 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Varieties of Data Languages (Track B: Automata, Logic, Semantics, and Theory of Programming)
  Urbat, Henning ; Milius, Stefan 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• On All Things Star-Free (Track B: Automata, Logic, Semantics, and Theory of Programming)
  Place, Thomas ; Zeitoun, Marc 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• 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
• 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
• 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
• 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