Meta languages in algebraic compilers

Eric Van Wyk

doi:10.1007/3-540-45499-3_10

Meta languages in algebraic compilers

Eric Van Wyk

Computer Science and Engineering

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

1 Scopus citations

Abstract

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 language	English (US)
Title of host publication	Algebraic Methodology and Software Technology - 8th International Conference, AMAST 2000, Proceedings
Editors	Teodor Rus
Publisher	Springer Verlag
Pages	119-134
Number of pages	16
ISBN (Print)	9783540454991
DOIs	https://doi.org/10.1007/3-540-45499-3_10
State	Published - 2000
Event	8th International Conference on Algebraic Methodology and Software Technology, AMAST 2000 - Iowa City, United States Duration: May 20 2000 → May 27 2000

Publication series

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

Other

Other	8th International Conference on Algebraic Methodology and Software Technology, AMAST 2000
Country/Territory	United States
City	Iowa City
Period	5/20/00 → 5/27/00

Bibliographical note

Publisher Copyright:
© Springer-Verlag Berlin Heidelberg 2000.

Publisher link

10.1007/3-540-45499-3_10

Find It

Find It at U of M Libraries

Cite this

Van Wyk, E. (2000). Meta languages in algebraic compilers. In T. Rus (Ed.), Algebraic Methodology and Software Technology - 8th International Conference, AMAST 2000, Proceedings (pp. 119-134). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1816). Springer Verlag. https://doi.org/10.1007/3-540-45499-3_10

Meta languages in algebraic compilers. / Van Wyk, Eric.
Algebraic Methodology and Software Technology - 8th International Conference, AMAST 2000, Proceedings. ed. / Teodor Rus. Springer Verlag, 2000. p. 119-134 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1816).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Van Wyk, E 2000, Meta languages in algebraic compilers. in T Rus (ed.), Algebraic Methodology and Software Technology - 8th International Conference, AMAST 2000, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 1816, Springer Verlag, pp. 119-134, 8th International Conference on Algebraic Methodology and Software Technology, AMAST 2000, Iowa City, United States, 5/20/00. https://doi.org/10.1007/3-540-45499-3_10

Van Wyk E. Meta languages in algebraic compilers. In Rus T, editor, Algebraic Methodology and Software Technology - 8th International Conference, AMAST 2000, Proceedings. Springer Verlag. 2000. p. 119-134. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/3-540-45499-3_10

@inproceedings{1caa2c4c202742dfbec71b9765cb57c3,

title = "Meta languages in algebraic compilers",

abstract = "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.",

author = "{Van Wyk}, Eric",

note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 2000.; 8th International Conference on Algebraic Methodology and Software Technology, AMAST 2000 ; Conference date: 20-05-2000 Through 27-05-2000",

year = "2000",

doi = "10.1007/3-540-45499-3_10",

language = "English (US)",

isbn = "9783540454991",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "119--134",

editor = "Teodor Rus",

booktitle = "Algebraic Methodology and Software Technology - 8th International Conference, AMAST 2000, Proceedings",

}

TY - GEN

T1 - Meta languages in algebraic compilers

AU - Van Wyk, Eric

PY - 2000

Y1 - 2000

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=23044518240&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=23044518240&partnerID=8YFLogxK

U2 - 10.1007/3-540-45499-3_10

DO - 10.1007/3-540-45499-3_10

M3 - Conference contribution

AN - SCOPUS:23044518240

SN - 9783540454991

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 119

EP - 134

BT - Algebraic Methodology and Software Technology - 8th International Conference, AMAST 2000, Proceedings

A2 - Rus, Teodor

PB - Springer Verlag

T2 - 8th International Conference on Algebraic Methodology and Software Technology, AMAST 2000

Y2 - 20 May 2000 through 27 May 2000

ER -

Meta languages in algebraic compilers

Abstract

Publication series

Other

Bibliographical note

Publisher link

Find It

Other files and links

Fingerprint

Cite this