„Program Semantics“

Suchergebnisse

553 Treffer

• Linear Promises: Towards Safer Concurrent Programming (Artifact)
  Rau, Ohad ; Voss, Caleb ; Sarkar, Vivek
• Static Type Analysis by Abstract Interpretation of Python Programs (Artifact)
  Monat, Raphaël ; Ouadjaout, Abdelraouf ; Miné, Antoine
• Lifestate: Event-Driven Protocols and Callback Control Flow (Artifact)
  Meier, Shawn ; Mover, Sergio ; Chang, Bor-Yuh Evan
• Multiverse Debugging: Non-Deterministic Debugging for Non-Deterministic Programs (Artifact)
  Singh, Robbert Gurdeep ; Lopez, Carmen Torres ; Marr, Stefan ; Boix, Elisa Gonzalez ; Scholliers, Christophe
• A Semantics of ?? into Dedukti
  Ledein, Amélie ; Blot, Valentin ; Dubois, Catherine 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Processes Parametrised by an Algebraic Theory
  Schmid, Todd ; Różowski, Wojciech ; Rot, Jurriaan ; Silva, Alexandra 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Fibrational Tale of Operational Logical Relations
  Dagnino, Francesco ; Gavazzo, Francesco 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Slicing of Probabilistic Programs Based on Specifications (Extended Abstract)
  Navarro, Marcelo ; Olmedo, Federico 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Functional Programming for Distributed Systems with XC
  Audrito, Giorgio ; Casadei, Roberto ; Damiani, Ferruccio ; Salvaneschi, Guido ; Viroli, Mirko 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Direct Foundations for Compositional Programming
  Fan, Andong ; Huang, Xuejing ; Xu, Han ; Sun, Yaozhu ; Oliveira, Bruno C. d. S. 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Functorial Semantics as a Unifying Perspective on Logic Programming
  Gu, Tao ; Zanasi, Fabio 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Rice’s Theorem for Abstract Semantics
  Baldan, Paolo ; Ranzato, Francesco ; Zhang, Linpeng 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Linear Promises: Towards Safer Concurrent Programming
  Rau, Ohad ; Voss, Caleb ; Sarkar, Vivek 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Partial Metric Semantics of Higher-Order Types and Approximate Program Transformations
  Geoffroy, Guillaume ; Pistone, Paolo 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Symbolic Execution Game Semantics
  Lin, Yu-Yang ; Tzevelekos, Nikos 2020 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
• Sound Regular Corecursion in coFJ
  Ancona, Davide ; Barbieri, Pietro ; Dagnino, Francesco ; Zucca, Elena 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Coalgebraic Perspective on Probabilistic Logic Programming
  Gu, Tao ; Zanasi, Fabio 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
• Multiverse Debugging: Non-Deterministic Debugging for Non-Deterministic Programs (Brave New Idea Paper)
  Torres Lopez, Carmen ; Gurdeep Singh, Robbert ; Marr, Stefan ; Gonzalez Boix, Elisa ; Scholliers, Christophe 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik