On the algebraic definition of programming languages

DOI10.1145/9758.10501MaRDI QIDQ3763565zbMATH OpenOpenAlexFDO

Authors Manfred Broy, Peter Pepper, Martin Wirsing

Publication date 1987

Published in ACM Transactions on Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL http://www.acm.org/pubs/contents/journals/toplas/1987-9/

zbMATH Keywords

semanticshomomorphismabstract data typesalgebraic specificationprogram transformationsemantics of programming languagesfirst-order conditional equationsleast-fixed pointspartial heterogeneous algebras

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Data structures (68P05) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• An algebraic approach to semantics of programming languages
• On the algebraic structure of declarative programming languages
• An algebraic model for programming languages
• Algebraic processing of programming languages
• On the theory of program algebras
• scientific article; zbMATH DE number 3967883
• scientific article; zbMATH DE number 3963181
• scientific article; zbMATH DE number 3890710
• The (algebraic) congruence of two programming language definitions
• scientific article; zbMATH DE number 3892570

Cited in

(34)

• An algebraically specified language for data directed design
• The rewriting logic semantics project: a progress report
• The rewriting logic semantics project: a progress report
• A theory of binding structures and applications to rewriting
• scientific article; zbMATH DE number 4033040 (Why is no real title available?)
• scientific article; zbMATH DE number 3890710 (Why is no real title available?)
• scientific article; zbMATH DE number 30309 (Why is no real title available?)
• The rewriting logic semantics project
• A rewriting logic approach to operational semantics
• An algebraic model for programming languages
• Declarative programming with algebra
• scientific article; zbMATH DE number 3956413 (Why is no real title available?)
• A new roadmap for linking theories of programming
• scientific article; zbMATH DE number 3986620 (Why is no real title available?)
• Observational implementations
• A theory for program and data type specification
• scientific article; zbMATH DE number 4104365 (Why is no real title available?)
• Linking Semantic Models
• Parsing languages by pattern matching
• scientific article; zbMATH DE number 3864473 (Why is no real title available?)
• scientific article; zbMATH DE number 4001450 (Why is no real title available?)
• Constructing specification morphisms
• Localized operational termination in general logics
• Observational implementation of algebraic specifications
• The (algebraic) congruence of two programming language definitions
• An algebraic approach to formalization of object-orientation^*
• scientific article; zbMATH DE number 3890697 (Why is no real title available?)
• scientific article; zbMATH DE number 3862415 (Why is no real title available?)
• A semi-algorithm for algebraic implementation proofs
• scientific article; zbMATH DE number 4033047 (Why is no real title available?)
• Program morphisms
• A homage to Martin Wirsing
• Algebraic properties for free!
• scientific article; zbMATH DE number 3905828 (Why is no real title available?)

This page was built for publication: On the algebraic definition of programming languages

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3763565)