On the Semantics of the Bad-Variable Constructor in Algol-like Languages
Guy McCusker · Electronic Notes in Theoretical Computer Science · 2003
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.