On the algebraic definition of programming languages

DOI10.1145/9758.10501zbMATH Open0627.68009OpenAlexW1963842623MaRDI QIDQ3763565FDOQ3763565

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/

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

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)

Cited In (34)

• 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
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The rewriting logic semantics project
• A rewriting logic approach to operational semantics
• An algebraic model for programming languages
• Declarative programming with algebra
• Title not available (Why is that?)
• A new roadmap for linking theories of programming
• Title not available (Why is that?)
• Observational implementations
• A theory for program and data type specification
• Title not available (Why is that?)
• Linking Semantic Models
• Parsing languages by pattern matching
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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^*
• Title not available (Why is that?)
• Title not available (Why is that?)
• A semi-algorithm for algebraic implementation proofs
• Title not available (Why is that?)
• Program morphisms
• A homage to Martin Wirsing
• Algebraic properties for free!
• Title not available (Why is that?)
• An algebraically specified language for data directed design

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)