Towards an algebraic specification of code generation

DOI10.1016/0167-6423(88)90064-0zbMath0673.68047OpenAlexW2094145777MaRDI QIDQ1121033

Rudolf Berghammer, Herbert Ehler, Hans Zierer

Publication date: 1988

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0167-6423(88)90064-0

zbMATH Keywords

algebraic specificationcode generationcompilerPassau RAP system

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65) General topics in the theory of software (68N01)

Related Items (1)

Software Development in Relation Algebra with Ampersand

This page was built for publication: Towards an algebraic specification of code generation