Specification languages in algebraic compilers
type: Item
instance of: scholarly article
title: Specification languages in algebraic compilers
zbMATH Open document ID: 1008.68034
DOI: 10.1016/S0304-3975(02)00367-5
author: Eric Van Wyk
published in: Theoretical Computer Science
publication date: 2003-01-22T00:00:00Z
review text: Algebraic compilers provide a powerful and convenient mechanism for specifying language translators. With each source language operation one associates a computation for constructing its target language image; these associated computations, called derived operations, are expressed in terms of operations from the target language. Sometimes the target language is not powerful enough to specify the required translation and one may then need to extend the target language algebras with more computationally expressive operations or elements. A better solution is to package these extensions in a specification language which can be composed with the target language to ensure that all operations and elements needed or desired for performing the translation are provided. In the example in this paper, we show how imperative and functional specification languages can be composed with a target language to implement a temporal logic model checker as an algebraic compiler and show how specification languages can be seen as components to be combined with a source and target language to generate an algebraic compiler.
Mathematics Subject Classification ID: 68N20
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 1857231
zbMATH Keywords: algebraic compiler
zbMATH Keywords: specification languages
Wikidata QID: Q122662221
MaRDI profile type: Publication
cites work: Automatic verification of finite-state concurrent systems using temporal logic specifications
cites work: Q3657411
cites work: Q3122694
cites work: Algebras with a Scheme of Operators
cites work: Algebraic translations, correctness and algebraic compiler construction
cites work: Semantics of context-free languages
cites work: Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
cites work: Q2764063
cites work: Syntax macros and extended translation
cites work: Macro instruction extensions of compiler languages
cites work: Q2723887
cites work: Q4068067
cites work: Action Semantics
cites work: Algebraic construction of compilers
cites work: Algebraic processing of programming languages
cites work: Generating model checkers from algebraic specifications
cites work: Generating data flow analysis algorithms from modal specifications
cites work: Q4199499
cites work: Q2767169
cites work: Q4738382
cites work: Q3787439
full work available at URL: s0304-3975(02)00367-5
OpenAlex ID: W2032270124
description: scientific article; zbMATH DE number 1857231