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/
homomorphismprogram transformationsemanticsalgebraic specificationabstract data typessemantics of programming languagesfirst-order conditional equationsleast-fixed pointspartial heterogeneous algebras
Specification and verification (program logics, model checking, etc.) (68Q60) Data structures (68P05) General topics in the theory of software (68N01)
Related Items (max. 100)
This page was built for publication: On the algebraic definition of programming languages