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). L.C. Smith College of Engineering and Computer Science - Former Departments, Centers, Institutes and Projects. Paper 32.
http://surface.syr.edu/lcsmith_other/32