„Programming Languages“

Suchergebnisse

7.502 Treffer

• Next Generation Protocols for Heterogeneous Systems (Dagstuhl Seminar 24051)
  Balzer, Stephanie ; Carbone, Marco ; Kuhn, Roland ; Thiemann, Peter
• A Rewriting Theory for Quantum λ-Calculus
  Faggian, Claudia ; Lopez, Gaetan ; Valiron, Benoît 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• On Iteration in Discrete Probabilistic Programming
  Torres-Ruiz, Mateo ; Piedeleu, Robin ; Silva, Alexandra ; Zanasi, Fabio 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Semantics of Programming Languages and Algebra (Dagstuhl Seminar 9323)
  Droste, Manfred ; Gurevich, Yuri 1993 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Semantics of Programming Languages and Model Theory (Dagstuhl Seminar 9126)
  Droste, Manfred ; Gurevich, Yuri 1991 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Systemprogrammierung mit Delphi – Hardwarezugriff über Windows-API und Windows-Kernelmodus-Treiber
  Espenschied, Devid 2024 Springer Fachmedien Wiesbaden, Imprint: Springer Vieweg
• Systemprogrammierung mit Delphi – Hardwarezugriff über Windows-API und Windows-Kernelmodus-Treiber
  Espenschied, Devid 2024 Springer Vieweg
• The Dolorem Pattern: Growing a Language Through Compile-Time Function Execution (Artifact)
  Henniger, Simon ; Amin, Nada
• 10252 Executive Summary – Game Semantics and Program Verification
  Mellies, Paul-Andre ; Murawski, Andrzej S. ; Schalk, Andrea ; Walukiewicz, Igor
• 10252 Abstracts Collection – Game Semantics and Program Verification
  Mellies, Paul-Andre ; Murawski, Andrzej S. ; Schalk, Andrea ; Walukiewicz, Igor
• 10152 Executive Summary – Relationships, Objects, Roles, and Queries in Modern Languages
  Boella, Guido ; Meijer, Erik ; Pearce, David J. ; Steimann, Friedrich ; Tip, Frank
• 10152 Abstracts Collection – Relationships, Objects, Roles, and Queries in Modern Languages
  Boella, Guido ; Meijer, Erik ; Pearce, David J. ; Steimann, Friedrich ; Tip, Frank
• Belief Update in AgentSpeak-DL
  Moreira, Álvaro F. ; Vieira, Renata
• Don't Panic! Better, Fewer, Syntax Errors for LR Parsers (Artifact)
  Diekmann, Lukas ; Tratt, Laurence
• Lifestate: Event-Driven Protocols and Callback Control Flow (Artifact)
  Meier, Shawn ; Mover, Sergio ; Chang, Bor-Yuh Evan
• EVF: An Extensible and Expressive Visitor Framework for Programming Language Reuse (Artifact)
  Zhang, Weixin ; Oliveira, Bruno C. d. S.
• 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
• 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
• 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