File(s) not publicly available
On the Semantics of the Bad Variable Constructor in (Algol)-like Languages.
presentationposted on 2023-06-07, 21:42 authored by Guy McCusker
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.
Event nameNineteenth Conference on the Mathematical Foundations of Programming Semantics
Event locationMontreal, Canada
Department affiliated with
- Informatics Publications
Full text available