Results 121 to 130 of about 11,766 (228)
Denotational semantics for normal modal logics with propositional quantifiers and identity
, 2012 Steffen Lewitzka
openalex +2 more sources
Some comments on “a denotational semantics for Prolog” [PDF]
, 1994 Bijan Arbab, Daniel M. Berry
openalex +1 more source
Proofs, denotational semantics and observational equivalences in Multiplicative Linear Logic
, 2007 Michele Pagani
openalex +2 more sources
Disentangling denotational semantics specifications
, 2008 Denotational semantics is a powerful technique to formally define programming languages. However, language constructs are not always orthogonal, so many semantic equations in a definition may have to be aware of unrelated constructs semantics. Current approaches for modularity in this formalism do not address this problem, providing, for this reason ...
Saraiva, João Alexandre +2 more
openaire +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 SciencesThis 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
Two-sorted algebraic decompositions of Brookes's shared-state denotational semantics [PDF]
Yotam Dvir +3 more
openalex +1 more source