„denotational semantics“

Suchergebnisse

1.000+ Treffer

• The denotational semantics of an object oriented programming language
  Hense, Andreas V. 2013 Saarländische Universitäts- und Landesbibliothek
• Operational and denotational semantics for the box algebra
  Best, Eike ; Koutny, Maciej 1995 Inst. für Informatik
• Foundations of Software Science and Computational Structures – 15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings
  Birkedal, Lars 2012 Springer Berlin Heidelberg
• Functional and Constraint Logic Programming – 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers
  Mariño, Julio 2011 Springer Berlin Heidelberg
• Techniques for Modelling Structured Operational and Denotational Semantics Definitions with Term Rewriting Systems
  Buth, Karl-Heinz 1994 Universitätsbibliothek Kiel
• Semantics of the Probabilistic Typed Lambda Calculus – Markov Chain Semantics, Termination Behavior, and Denotational Semantics
  Draheim, Dirk 2017 Springer Berlin Heidelberg
• Denotational Semantics for Probabilistic and Concurrent Programs
  Zilberstein, Noam ; Gorla, Daniele ; Silva, Alexandra 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• An Expressive Trace Logic for Recursive Programs
  Gurov, Dilian ; Hähnle, Reiner 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Categorical Continuation Semantics for Concurrency
  Breuvart, Flavien ; Paquet, Hugo 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Semantics for a Turing-Complete Reversible Programming Language with Inductive Types
  Chardonnet, Kostia ; Lemonnier, Louis ; Valiron, Benoît 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Linear Type System for L^p-Metric Sensitivity Analysis
  Sannier, Victor ; Baillot, Patrick 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• The Sum-Product Algorithm For Quantitative Multiplicative Linear Logic
  Ehrhard, Thomas ; Faggian, Claudia ; Pagani, Michele 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Semantics for Noninterference with Interaction Trees (Artifact)
  Silver, Lucas ; He, Paul ; Cecchetti, Ethan ; Hirsch, Andrew K. ; Zdancewic, Steve
• Towards Univalent Reference Types: The Impact of Univalence on Denotational Semantics
  Sterling, Jonathan ; Gratzer, Daniel ; Birkedal, Lars 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Syntactically and Semantically Regular Languages of λ-Terms Coincide Through Logical Relations
  Moreau, Vincent ; Nguyễn, Lê Thành Dũng (Tito) 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Semantic Bounds and Multi Types, Revisited
  Accattoli, Beniamino 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Semantics for Noninterference with Interaction Trees
  Silver, Lucas ; He, Paul ; Cecchetti, Ethan ; Hirsch, Andrew K. ; Zdancewic, Steve 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Unifying Graded Linear Logic and Differential Operators
  Breuvart, Flavien ; Kerjean, Marie ; Mirwasser, Simon 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• The Functional Machine Calculus II: Semantics
  Barrett, Chris ; Heijltjes, Willem ; McCusker, Guy 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Combinatorial Approach to Higher-Order Structure for Polynomial Functors
  Fiore, Marcelo ; Galal, Zeinab ; Paquet, Hugo 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik