Results 251 to 258 of about 228,658 (258)

An exercise in denotational semantics

ACM SIGCSE Bulletin, 1991
openaire   +2 more sources

Metric Denotational Semantics for Parallel Rewriting of Multisets

2011 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2011
Gabriel Ciobanu, E. Todoran
semanticscholar   +1 more source

Generating Denotational Semantics from Algebraic Semantics for Event-Driven System-Level Language

Unifying Theories of Programming, 2010
Huibiao Zhu, Fan Yang, J. He
semanticscholar   +1 more source

Some Domain Theory and Denotational Semantics in Coq

International Conference on Theorem Proving in Higher Order Logics, 2009
Nick Benton, A. Kennedy, C. Varming
semanticscholar   +1 more source

The Denotational Semantics of slotted-Circus

World Congress on Formal Methods, 2009
P. Gancarski, A. Butterfield
semanticscholar   +1 more source

Modular Denotational Semantics for Compiler Construction

European Symposium on Programming, 1996
Sheng Liang, P. Hudak
semanticscholar   +1 more source

Denotational Semantics

1996
Christian Queinnec, Kathleen Callaway
openaire   +2 more sources

Extensional Denotational Semantics

2019
openaire   +2 more sources