Full abstraction for Idealized Algol with passive expressions

• 28 September 1999
• journal article
• Published by Elsevier in Theoretical Computer Science
• Vol. 227  (1-2) , 3-42
• https://doi.org/10.1016/s0304-3975(99)00047-x

Abstract

Keywords

• FULL ABSTRACTION
• IDEALIZED ALGOL
• GAME SEMANTICS
• PASSIVE EXPRESSION
• ALGOL-LIKE LANGUAGES