On the algebraic definition of programming languages

DOI10.1145/9758.10501zbMath0627.68009OpenAlexW1963842623MaRDI QIDQ3763565

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

homomorphismprogram transformationsemanticsalgebraic specificationabstract data typessemantics of programming languagesfirst-order conditional equationsleast-fixed pointspartial heterogeneous algebras

Mathematics Subject Classification ID

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

Related Items (max. 100)

The rewriting logic semantics project ⋮ Observational implementations ⋮ The rewriting logic semantics project: a progress report ⋮ Observational implementation of algebraic specifications ⋮ An algebraic approach to formalization of object-orientation^* ⋮ A theory of binding structures and applications to rewriting ⋮ A semi-algorithm for algebraic implementation proofs ⋮ A theory for program and data type specification ⋮ A rewriting logic approach to operational semantics ⋮ The Rewriting Logic Semantics Project: A Progress Report ⋮ A Homage to Martin Wirsing ⋮ Localized Operational Termination in General Logics ⋮ Constructing specification morphisms

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