On the semantics of the bad-variable constructor in Algol-like languages

Research output: Chapter in Book/Report/Conference proceedingChapter

Original languageEnglish
Title of host publicationProceedings, 19th International Conference on the Mathematical Foundations of Programming Semantics, MFPS XIX
EditorsS Brookes, P Panagaden
PublisherElsevier
Volume83
ISBN (Print)1571-0661
Publication statusPublished - Mar 2004
EventProceedings, 19th International Conference on Mathematical Foundations of Programming Languages -
Duration: 1 Mar 2004 → …

Publication series

NameElectronic Notes in Theoretical Computer Science
PublisherElsevier

Conference

ConferenceProceedings, 19th International Conference on Mathematical Foundations of Programming Languages
Period1/03/04 → …

Cite this

McCusker, G. (2004). On the semantics of the bad-variable constructor in Algol-like languages. In S. Brookes, & P. Panagaden (Eds.), Proceedings, 19th International Conference on the Mathematical Foundations of Programming Semantics, MFPS XIX (Vol. 83). (Electronic Notes in Theoretical Computer Science). Elsevier.