On the Semantics of the Bad Variable Constructor in (Algol)-like Languages.

McCusker, Guy (2004) On the Semantics of the Bad Variable Constructor in (Algol)-like Languages. In: Nineteenth Conference on the Mathematical Foundations of Programming Semantics, Montreal, Canada.

Full text not available from this repository.
Official URL: http://www.entcs.org

Abstract

The fully abstract games model of Reynolds’s Idealized Algol is adapted to provide a characterization of the language without the “bad variable constructor” mkvar. The model shows that the addition of mkvar to the language is conservative for
observational equivalence but not for the observational preorder.

Item Type: Conference or Workshop Item (Paper)
Schools and Departments: School of Engineering and Informatics > Informatics
Depositing User: EPrints Services
Date Deposited: 06 Feb 2012 18:54
Last Modified: 06 Jun 2012 16:01
URI: http://sro.sussex.ac.uk/id/eprint/18840
📧 Request an update