„programming language“

Suchergebnisse

8.545 Treffer

• A Semantics of ?? into Dedukti
  Ledein, Amélie ; Blot, Valentin ; Dubois, Catherine 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• The Dolorem Pattern: Growing a Language Through Compile-Time Function Execution (Pearl/Brave New Idea)
  Henniger, Simon ; Amin, Nada 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Breaking the Negative Cycle: Exploring the Design Space of Stratification for First-Class Datalog Constraints
  Starup, Jonathan Lindegaard ; Madsen, Magnus ; Lhoták, Ondřej 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Morpheus: Automated Safety Verification of Data-Dependent Parser Combinator Programs
  Mishra, Ashish ; Jagannathan, Suresh 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Representing Computational Relations in Knowledge Graphs Using Functional Languages (Short Paper)
  Qi, Yanmin ; Du, Heshan ; Farjudian, Amin ; Zhu, Yunqiang 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Stay Safe Under Panic: Affine Rust Programming with Multiparty Session Types
  Lagaillardie, Nicolas ; Neykova, Rumyana ; Yoshida, Nobuko 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Reactamole: Functional Reactive Molecular Programming
  Klinge, Titus H. ; Lathrop, James I. ; Osera, Peter-Michael ; Rogers, Allison 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Multiparty Languages: The Choreographic and Multitier Cases (Pearl)
  Giallorenzo, Saverio ; Montesi, Fabrizio ; Peressotti, Marco ; Richter, David ; Salvaneschi, Guido ; Weisenburger, Pascal 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Formalising a Turing-Complete Choreographic Language in Coq
  Cruz-Filipe, Luís ; Montesi, Fabrizio ; Peressotti, Marco 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Static Type Analysis by Abstract Interpretation of Python Programs
  Monat, Raphaël ; Ouadjaout, Abdelraouf ; Miné, Antoine 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• 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
• What is a Secure Programming Language?
  Cifuentes, Cristina ; Bierman, Gavin 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