scientific article; zbMATH DE number 1231472

zbMath0943.68108MaRDI QIDQ4222775

Robert D. Tennent, Peter W. O'Hearn, Makoto Takeyama, A. John Power

Publication date: 13 December 1998

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

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

zbMATH Keywords

Algol-like languages

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Related Items (2)

Automata-theoretic semantics of idealized Algol with passive expressions ⋮ The essence of parallel Algol.

This page was built for publication: