Specification languages in algebraic compilers

DOI10.1016/S0304-3975(02)00367-5zbMath1008.68034OpenAlexW2032270124WikidataQ122662221 ScholiaQ122662221MaRDI QIDQ1853753

Eric Van Wyk

Publication date: 22 January 2003

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0304-3975(02)00367-5

zbMATH Keywords

specification languagesalgebraic compiler

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

• Algebraic translations, correctness and algebraic compiler construction
• Algebraic processing of programming languages
• Algebraic construction of compilers
• Generating data flow analysis algorithms from modal specifications
• Generating model checkers from algebraic specifications
• Macro instruction extensions of compiler languages
• Automatic verification of finite-state concurrent systems using temporal logic specifications
• Action Semantics
• Syntax macros and extended translation
• Semantics of context-free languages
• Algebras with a Scheme of Operators
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Specification languages in algebraic compilers