Results 151 to 160 of about 11,543 (183)

Tarskian Semantics, or No Notation Without Denotation! [PDF]

, 1978
Drew McDermott
openalex   +1 more source

Relating Semantic Models of Compensating CSP

, 2006
Butler, Michael, Ripon, Shamim
core  

Towards a denotational semantics for a reflective Scheme - An implementation of the towerless model

, 1987
Catherine Recanati, Alain Deutsch
openalex   +1 more source

A Denotational Semantics for Circus

, 2007
Marcel Oliveira, Ana Cavalcanti, Jim Woodcock   +2 more
openalex   +1 more source

Denotational semantics as a specification of code generators [PDF]

, 1982
Martin R. Raskovsky
openalex   +1 more source

Denotational Semantics for Teaching Lazy Functional Programming [PDF]

, 1999
Olaf Chitil
openalex  

The Denotational Semantics of slotted-Circus

, 2009
Paweł Gancarski, Andrew Butterfield
openalex   +2 more sources