University of Sussex
Browse

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 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.

History

Publication status

  • Published

ISSN

1571-0661

Publisher

Elsevier

Volume

Electr

Pages

20.0

Presentation Type

  • paper

Event name

Nineteenth Conference on the Mathematical Foundations of Programming Semantics

Event location

Montreal, Canada

Event type

conference

Department affiliated with

  • Informatics Publications

Full text available

  • No

Peer reviewed?

  • Yes

Editors

S Brooks, P Panangaden

Legacy Posted Date

2012-02-06

Usage metrics

    University of Sussex (Publications)

    Categories

    No categories selected

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC