Document Type
Article
Date
1995
Keywords
Algol, observational equivalence
Language
English
Disciplines
Programming Languages and Compilers
Description/Abstract
A simple Idealized Algol is considered, based on Reynolds's "essence of Algol." It is shown that observational equivalence in this language conservatively extends observational equivalence in its assignment-free functional sublanguage.
Recommended Citation
O'Hearn, Peter W., "Note on Algol and Conservatively Extending Functional Programming" (1995). College of Engineering and Computer Science - Former Departments, Centers, Institutes and Projects. 32.
https://surface.syr.edu/lcsmith_other/32
Creative Commons License
This work is licensed under a Creative Commons Attribution 3.0 License.
