Results 101 to 110 of about 11,543 (183)

Proofs, denotational semantics and observational equivalences in Multiplicative Linear Logic

, 2007
Michele Pagani
openalex   +2 more sources

An exercise in denotational semantics [PDF]

, 1991
Ken Slonneger
openalex   +1 more source

Denotational semantics of channel mobility in UTP-CSP [PDF]

, 2021
Gerard Ekembe Ngondi
openalex   +1 more source

Perspectives of semantic modeling in categories

Journal of King Saud University: Computer and Information Sciences
This paper explores the domain of semantic modeling, emphasizing the thoughtful influence of category theory on imperative programming. We aim to present a formal semantics model by seamlessly integrating categorical concepts.
William Steingartner
doaj   +1 more source

Synthesising Programs with Non-trivial Constants. [PDF]

J Autom Reason, 2023
Abate A, Barbosa H, Barrett C, David C, Kesseli P, Kroening D, Polgreen E, Reynolds A, Tinelli C.   +8 more
europepmc   +1 more source

Two-sorted algebraic decompositions of Brookes's shared-state denotational semantics [PDF]

Yotam Dvir, Ohad Kammar, Ori Lahav, Gordon Plotkin   +3 more
openalex   +1 more source

Equivalence of Denotational and Operational Semantics for Interaction Languages

, 2022
Erwan Mahe, Christophe Gaston, Pascale Le Gall   +2 more
openalex   +2 more sources

Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics [PDF]

George Frederick Kaye
openalex   +1 more source