Cited By
View all- Downey PSethi R(1975)Correct computation rules for recursive languagesProceedings of the 16th Annual Symposium on Foundations of Computer Science10.1109/SFCS.1975.10(48-56)Online publication date: 13-Oct-1975
The origins of "formal methods" lie partly in language description (although applications of methods like VDM, RAISE or B to areas other than programming languages are probably more widely known). This paper revisits the language description task but ...
SEMANOL is a practical programming system for writing readable formal specifications of the syntax and semantics of programming languages. SEMANOL is based on a theory of semantics which embraces algorithmic (operational) and extensional (input/output) ...
Association for Computing Machinery
New York, NY, United States
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in