Initial algebra semantics
- 1 October 1974
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
Many apparently divergent approaches to specifying formal semantics for programming languages are applications of initial algebra semantics. Here we provide an overview of the concept of initial algebra semantics.Keywords
This publication has 32 references indexed in Scilit:
- Initial algebra semanticsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1974
- Translations on a context free grammarInformation and Control, 1971
- Languages for defining sets in arbitrary algebrasPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1971
- Categories for the Working MathematicianPublished by Springer Nature ,1971
- An algebraic theory of recursive definitions and recursive languagesPublished by Association for Computing Machinery (ACM) ,1971
- Properties of syntax directed translationsJournal of Computer and System Sciences, 1969
- Syntax-Directed TransductionJournal of the ACM, 1968
- Algebraic automata and context-free setsInformation and Control, 1967
- Correctness of a compiler for arithmetic expressionsProceedings of Symposia in Applied Mathematics, 1967
- A syntax directed compiler for ALGOL 60Communications of the ACM, 1961