„program semantics“

Suchergebnisse

553 Treffer

• Havings – Steps Towards a New Economic Philosophy of Property and Beyond
  Herrmann-Pillath, Carsten 2024 Campus Verlag
• Havings – steps towards a new economic philosophy of property and beyond
  Herrmann-Pillath, Carsten 2024 Campus Verlag
• Theoretical Advances and Emerging Applications in Abstract Interpretation (Dagstuhl Seminar 23281)
  Gurfinkel, Arie ; Mastroeni, Isabella ; Miné, Antoine ; Müller, Peter ; Becchi, Anna
• How to Play the Accordion: Uniformity and the (Non-)Conservativity of the Linear Approximation of the λ-Calculus
  Cerda, Rémy ; Vaux Auclair, Lionel 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• 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
• Towards a Coq-verified Chain of Esterel Semantics
  Rieg, Lionel ; Berry, Gérard
• Program Equivalence with Names
  Tzevelekos, Nikos
• 10351 Executive Summary – Modelling, Controlling and Reasoning About State
  Ahmed, Amal ; Benton, Nick ; Birkedal, Lars ; Hofmann, Martin
• 10351 Abstracts Collection – Modelling, Controlling and Reasoning About State
  Ahmed, Amal ; Benton, Nick ; Birkedal, Lars ; Hofmann, Martin
• 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
• GOAL Agents Instantiate Intention Logic
  Hindriks, Koen ; van der Hoek, Wiebe
• General Logic Programs as Infinite Games
  Galanaki, Chrysida ; Rondogiannis, Panos ; Wadge, William W.
• Cartesian Programming: The TransLucid Programming Language
  Plaice, John ; Mancilla, Blanca
• 08061 Executive Summary – Types, Logics and Semantics for State
  Ahmed, Amal ; Benton, Nick ; Hofmann, Martin ; Morrisett, Greg
• 08061 Abstracts Collection – Types, Logics and Semantics for State
  Ahmed, Amal ; Benton, Nick ; Hofmann, Martin ; Morrisett, Greg
• Direct Foundations for Compositional Programming (Artifact)
  Fan, Andong ; Huang, Xuejing ; Xu, Han ; Sun, Yaozhu ; Oliveira, Bruno C. d. S.