Initial Algebra Semantics and Continuous Algebras-Reference-Cited by-同舟云学术

Initial Algebra Semantics and Continuous Algebras

Published:1977-01 Issue:1 Volume:24 Page:68-95
ISSN:0004-5411
Container-title:Journal of the ACM
language:en
Short-container-title:J. ACM

Author:

Goguen J. A.¹,Thatcher J. W.²,Wagner E. G.²,Wright J. B.²

Affiliation:

1. Computer Science Department, UCLA, Los Angeles, CA

2. IBM Thomas J Watson Research Center, Yorktown Heights, NY

Abstract

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.

Publisher

Association for Computing Machinery (ACM)

Subject

Artificial Intelligence,Hardware and Architecture,Information Systems,Control and Systems Engineering,Software

Link

https://dl.acm.org/doi/pdf/10.1145/321992.321997

Reference74 articles.

1. Translations on a context free grammar

2. B~NABOU J Structures algGbrlques dans les catGgorles Th~se fac scl Unlverslt6 de Pans March 1966 Also Cahters de Topologze et G~om~trte Dtff~renuelle 10 (1968) 1-126 B~NABOU J Structures algGbrlques dans les catGgorles Th~se fac scl Unlverslt6 de Pans March 1966 Also Cahters de Topologze et G~om~trte Dtff~renuelle 10 (1968) 1-126

3. On the Structure of Abstract Algebras

Cited by 549 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. iCoLa+: An extensible meta-language with support for exploratory language development;Journal of Systems and Software;2024-01

2. Constituency Parsing as an Instance of the M-monoid Parsing Problem;Electronic Proceedings in Theoretical Computer Science;2023-09-15

3. A Comparison of Sets of Recognizable Weighted Tree Languages Over Specific Sets of Bounded Lattices;International Journal of Foundations of Computer Science;2023-07-17

4. Allegories of Symbolic Manipulations;2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2023-06-26

5. Generating Proof Certificates for a Language-Agnostic Deductive Program Verifier;Proceedings of the ACM on Programming Languages;2023-04-06