An Algebraic Approach to Compiler Design

DOI10.1142/2870zbMath0962.68031OpenAlexW4210557501MaRDI QIDQ2715820

Augusto Sampaio

Publication date: 29 May 2001

Published in: AMAST Series in Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1142/2870

zbMATH Keywords

procedural languagesdesign of compilers

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Research exposition (monographs, survey articles) pertaining to computer science (68-02)

Related Items (6)

An algebraic hardware/software partitioning algorithm ⋮ An algebraic approach to the design of compilers for object-oriented languages ⋮ Denotational semantics and its algebraic derivation for an event-driven system-level language ⋮ Model checking RAISE applicative specifications ⋮ Correct hardware synthesis ⋮ A formal model of real-time program compilation

Uses Software

• OBJ3
• HOL
• 2OBJ

This page was built for publication: An Algebraic Approach to Compiler Design