Preview
Unable to display preview. Download preview PDF.
References
T. Rus and T. Halverson. Algebraic tools for language processing. Computer Languages, 20(4):213–238, 1994.
T. Rus. Algebraic processing of programming languages. In A. Nijholt, G. Scollo, and R. Steetskamp, editors, Twente Workshop on Language Technology, pages 1–42, University of Twente, Enschede, The Netherlands, 1995.
T. Rus. Algebraic construction of compilers. Theoretical Computer Science, 90:271–308, 1991.
J.L. Knaack. An Algebraic Approach to Language Translation. PhD thesis, The University of Iowa, Department of Computer Science, Iowa City, IA 52242, December 1994.
T. Rus and E. Van Wyk. Integrating temporal logics and model checking algorithms. In Lecture Notes in Computer Science 1231, pages 95–110, May 21 1997.
T. Rus and E. Van Wyk. A formal approach to parallelizing compilers. In SIAM Conference on Parallel Processing for Scientific Computation, Proceedings, March 14 1997. Paper available at http://www.cs.uiowa.edu/∼rus.
D. Weise and R. Crew. Programable syntax macros. ACM SIGPLAN Notices, 28(6), 1993.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Rus, T., Halverson, T., Van Wyk, E., Kooima, R. (1997). An algebraic language processing environment. In: Johnson, M. (eds) Algebraic Methodology and Software Technology. AMAST 1997. Lecture Notes in Computer Science, vol 1349. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0000504
Download citation
DOI: https://doi.org/10.1007/BFb0000504
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-63888-9
Online ISBN: 978-3-540-69661-2
eBook Packages: Springer Book Archive