scientific article; zbMATH DE number 1231473

zbMath0911.68121MaRDI QIDQ4222776

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Algol-like languages

Mathematics Subject Classification ID

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

Related Items (3)

Modelling Local Variables: Possible Worlds and Object Spaces ⋮ Full abstraction for non-deterministic and probabilistic extensions of PCF. I: The angelic cases ⋮ Objects and classes in Algol-like languages

This page was built for publication: