Initial Algebra Semantics and Continuous Algebras 论文
1977Journal of the ACM引用 803
Logic, programming, and type systemssemigroups and automata theoryComputability, Logic, AI Algorithms
详细信息
- 发表期刊/会议
- Journal of the ACM
- 发表日期
- 1977-01-01
- 发表年份
- 1977
关键词
Logic, programming, and type systemssemigroups and automata theoryComputability, Logic, AI Algorithms
摘要
Many apparently divergent approaches to specifying formal semantics of programming languages are applications of initial algebra semantics. In this paper an overview of initial algebra semantics is provided. The major technical feature is an initial continuous algebra which permits unified algebraic treatment of iterative and recursive semantic features in the same framework as more basic operations.