scientific article; zbMATH DE number 1231473

MaRDI QIDQ4222776zbMATH OpenFDO

Authors Uday S. Reddy, Peter W. O'Hearn

Publication date 13 December 1998

Full work available at URL http://www.elsevier.com/cas/tree/store/tcs/free/noncas/pc/volume1.htm#ohearn

zbMATH Keywords

Algol-like languages

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)

Recommendations

• Objects, interference, and the Yoneda embedding
• scientific article; zbMATH DE number 1058947
• Modelling local variables: possible worlds and object spaces

Cited in

(6)

• Objects, interference, and the Yoneda embedding
• Objects and classes in Algol-like languages
• Modelling local variables: possible worlds and object spaces
• New
• New approach to categorical semantics for procedural languages
• Full abstraction for non-deterministic and probabilistic extensions of PCF. I: The angelic cases

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4222776)