Results 191 to 200 of about 228,658 (258)
Compositional relaxed concurrency. [PDF]
Philos Trans A Math Phys Eng Sci, 2017 Batty M.
europepmc +1 more source
Experience with an experimental compiler generator based on denotational semantics
SIGPLAN Conferences and Workshops, 1982 James Bodwin +4 more
semanticscholar +1 more source
Denotational Semantics of Gradual Typing using Synthetic Guarded Domain Theory
Eric Giovannini +2 more
openalex +1 more source
From Operational Semantics to Denotational Semantics for Verilog
, 2001 Huibiao Zhu +2 more
openalex +1 more source
From Geometry of Interaction to Denotational Semantics
, 2005 Esfandiar Haghverdi, Philip Scott
openalex +1 more source
Processes as formal power series: A coinductive approach to denotational semantics
, 2006 Michele Boreale, Fabio Gadducci
openalex +1 more source