File(s) not publicly available
On the Semantics of the Bad Variable Constructor in (Algol)-like Languages.
presentation
posted on 2023-06-07, 21:42 authored by Guy McCuskerThe 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.
History
Publication status
- Published
ISSN
1571-0661Publisher
ElsevierPublisher URL
Volume
ElectrPages
20.0Presentation Type
- paper
Event name
Nineteenth Conference on the Mathematical Foundations of Programming SemanticsEvent location
Montreal, CanadaEvent type
conferenceDepartment affiliated with
- Informatics Publications
Full text available
- No
Peer reviewed?
- Yes
Editors
S Brooks, P PanangadenLegacy Posted Date
2012-02-06Usage metrics
Categories
No categories selectedKeywords
Licence
Exports
RefWorks
BibTeX
Ref. manager
Endnote
DataCite
NLM
DC