Results 191 to 200 of about 11,408 (204)

An introduction to metric semantics: operational and denotational models for programming and specification languages

Theoretical Computer Science, 2001
exaly  

A denotational semantics for the generalized ER model and a simple ER algebra

International Journal of Computer Mathematics, 1988
exaly  

An Intrinsic Denotational Semantics for a Lazy Functional Language

Lecture Notes in Computer Science, 2015
exaly  

Denotational linear time semantics and sequential composition

Information Processing Letters, 1996
exaly  

More on Denotational Semantics

2007
openaire   +1 more source

Some comments on “a denotational semantics for Prolog”

ACM Transactions on Programming Languages and Systems, 1994
exaly  

Denotational semantics for thread algebra

The Journal of Logic and Algebraic Programming, 2008
exaly  

On Denotational Semantics of Spatial-Temporal Consistency Language -- STeC

2013
Yixiang Chen
exaly  

On finite computations in denotational semantics

Theoretical Computer Science, 1983
exaly  

Deriving operational semantics from denotational semantics for Verilog

Jonathan P Bowen
exaly