„Operational Semantics“

Suchergebnisse

148 Treffer

• Linear Promises: Towards Safer Concurrent Programming (Artifact)
  Rau, Ohad ; Voss, Caleb ; Sarkar, Vivek
• Type-Directed Operational Semantics for Gradual Typing (Artifact)
  Ye, Wenjia ; Oliveira, Bruno C. d. S. ; Huang, Xuejing
• A Type-Directed Operational Semantics For a Calculus with a Merge Operator (Artifact)
  Huang, Xuejing ; Oliveira, Bruno C. d. S.
• Higher-Order Mathematical Operational Semantics (Early Ideas)
  Goncharov, Sergey ; Milius, Stefan ; Schröder, Lutz ; Tsampas, Stelios ; Urbat, Henning 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Structural Operational Semantics for Heterogeneously Typed Coalgebras
  König, Harald ; Wolter, Uwe ; Kräuter, Tim 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics (Artifact)
  Bach Poulsen, Casper ; Néron, Pierre ; Tolmach, Andrew ; Visser, Eelco
• Object Inheritance Without Classes (Artifact)
  Jones, Timothy ; Homer, Michael
• Diamonds for Security: A Non-Interleaving Operational Semantics for the Applied Pi-Calculus
  Aubert, Clément ; Horne, Ross ; Johansen, Christian 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Stateful Structural Operational Semantics
  Goncharov, Sergey ; Milius, Stefan ; Schröder, Lutz ; Tsampas, Stelios ; Urbat, Henning 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
• 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
• Useful Open Call-By-Need
  Accattoli, Beniamino ; Leberle, Maico 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Concrete Categorical Model of a Quantum Circuit Description Language with Measurement
  Lee, Dongho ; Perrelle, Valentin ; Valiron, Benoît ; Xu, Zhaowei 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Abstract Congruence Criteria for Weak Bisimilarity
  Tsampas, Stelios ; Williams, Christian ; Nuyts, Andreas ; Devriese, Dominique ; Piessens, Frank 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
• Type-Directed Operational Semantics for Gradual Typing
  Ye, Wenjia ; Oliveira, Bruno C. d. S. ; Huang, Xuejing 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Modules over Monads and Operational Semantics
  Hirschowitz, André ; Hirschowitz, Tom ; Lafont, Ambroise 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Big Step from Finite to Infinite Computations (SCICO Journal-first)
  Ancona, Davide ; Dagnino, Francesco ; Rot, Jurriaan ; Zucca, Elena 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Type-Directed Operational Semantics For a Calculus with a Merge Operator
  Huang, Xuejing ; Oliveira, Bruno C. d. S. 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik