Meta Languages in Algebraic Compilers
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 target 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.
Unable to display preview. Download preview PDF.
- 1.A.V. Aho, R. Sethi, and J.D. Ullman. Compilers — Principles, Techniques, and Tools. Addison-Wesley, Reading, MA, 1986.Google Scholar
- 2.R. Backhouse, P. Jansson, J. Jeuring, and L. Meertens. Generic programming — an introduction. In LNCS, volume 1608, pages 28–115. Springer-Verlag, 1999. Revised version of lecture notes for AFP’98.Google Scholar
- 5.M. Gordon. Programming Language Theory and its Implementation. Prentice Hall, 1988.Google Scholar
- 8.S. Kripke. Semantical analysis of modal logic i: Normal modal propositional calculi. Zeitschrift f. Math. Logik und Grundlagen d. Math., 9, 1963.Google Scholar
- 11.T. Rus, T. Halverson, E. Van Wyk, and R. Kooima. An algebraic language processing environment. In Michael Johnson, editor, LNCS 1349, pages 581–585, Sydney, Australia, 1997.Google Scholar
- 12.T. Rus and E. Van Wyk. Algebraic implementation of model checking algorithms. In Third AMAST Workshop on Real-Time Systems, Proceedings, pages 267–279, March 6 1996. Available from URL: http://www.comlab.ox.ac.uk/oucl/work/eric.van.wyk/
- 13.T. Rus and E. Van Wyk. Integrating temporal logics and model checking algorithms. In Fourth AMAST Workshop on Real-Time Systems, Proceedings, LNCS 1231. Springer-Verlag, May 21 1997.Google Scholar
- 15.C. Simonyi. Intentional programming: Innovation in the legacy age. Presented at IFIP Working group 2.1., 1996. Available from URL: http://www.research.microsoft.com/research/ip/
- 17.E. Van Wyk. Semantic Processing by Macro Processors. PhD thesis, The University of Iowa, Iowa City, Iowa, 52240 USA, July 1998.Google Scholar
- 18.E. Van Wyk. Domain specific meta languages. In ACM Symposium on Applied Computing, March 19–21 2000.Google Scholar