Results 191 to 200 of about 230,502 (255)
From Operational Semantics to Denotational Semantics for Verilog
, 2001 Huibiao Zhu +2 more
openalex +1 more source
Denotational Semantics of Gradual Typing using Synthetic Guarded Domain Theory
Eric Giovannini +2 more
openalex +1 more source
From Geometry of Interaction to Denotational Semantics
, 2005 Esfandiar Haghverdi, Philip Scott
openalex +1 more source
A constructive denotational semantics for Kahn networks in Coq
, 2009 Christine Paulin-Mohring
semanticscholar +1 more source
Processes as formal power series: A coinductive approach to denotational semantics
, 2006 Michele Boreale, Fabio Gadducci
openalex +1 more source
A common framework for semantic memory and semantic composition
Law RM, Hauk O, Lambon Ralph MA.
europepmc +1 more source