Meta languages in algebraic compilers

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Scopus citations


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. Some-times the target language operations are not powerful enough to specify the required computations and one may then need to extend the tar-get language algebras with more computationally expressive operations. A better solution is to package them in a meta language which can be automatically composed with the target language operations to ensure that all operations needed or desired for performing a translation are provided. In this paper, we show how imperative and functional meta languages can be composed with a target language in an example which implements a temporal logic model checker as an algebraic compiler and show how meta languages can be seen as components to be combined with a source and target language to generate an algebraic compiler.

Original languageEnglish (US)
Title of host publicationAlgebraic Methodology and Software Technology - 8th International Conference, AMAST 2000, Proceedings
EditorsTeodor Rus
PublisherSpringer Verlag
Number of pages16
ISBN (Print)9783540454991
StatePublished - 2000
Event8th International Conference on Algebraic Methodology and Software Technology, AMAST 2000 - Iowa City, United States
Duration: May 20 2000May 27 2000

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Other8th International Conference on Algebraic Methodology and Software Technology, AMAST 2000
Country/TerritoryUnited States
CityIowa City

Bibliographical note

Funding Information:
This work is funded by Microsoft Research.

Publisher Copyright:
© Springer-Verlag Berlin Heidelberg 2000.


Dive into the research topics of 'Meta languages in algebraic compilers'. Together they form a unique fingerprint.

Cite this