Towards an intermediate language based on Graph Rewriting
Lean is an experimental language for specifying computations in terms of graph rewriting. It is based on an alternative to Term Rewriting Systems (TRS) in which the terms are replaced by graphs. Such a Graph Rewriting System (GRS) consists of a set of graph rewrite rules which specify how a graph may be rewritten. Besides supporting functional programming, Lean also describes imperative constructs and allows the manipulation of cyclic graphs. Programs may exhibit non-determinism as well as parallelism. In particular, Lean can serve as an intermediate language between declarative languages and machine architectures, both sequential and parallel.
KeywordsCanonical Form Data Graph Functional Language Initial Graph Graph Reduction
Unable to display preview. Download preview PDF.
- [BAR87]Barendregt, H.P., Eekelen, M.C.J.D. van, Glauert, J.R.W., Kennaway, J.R., Plasmeijer, M.J., Sleep, M.R., “Term Graph Reduction”, these proceedings, 1987.Google Scholar
- [BRU87]Brus, T., Eekelen, M.C.J.D. van, Leer, M. van, Plasmeijer, M.J., “Clean — A Language for Functional Graph Rewriting”, University of Nijmegen, Internal Report nr. 95, February 1987.Google Scholar
- [EEK86]Eekelen, M.C.J.D. van, Plasmeijer, M.J., “Specification of rewriting strategies in Term Rewriting Systems”, University of Nijmegen, Workshop on Graph Reduction, Santa Fe, 1986.Google Scholar
- [GLA87]Glauert, J.R.W., Kennaway, J.R., Sleep, M.R., “DACTL: A Computational Model and Compiler Target Language Based on Graph Reduction”, University of East Anglia 1987, Internal Report SYS-C87-03.Google Scholar
- [JAN87]Jansen, T, “Interpreting Lean”, Masters thesis, University of Nijmegen, may 1987.Google Scholar
- [KLO85]Klop, J.W., “Term rewriting systems”, Notes for the Seminar on Reduction Machines, Ustica 1985, to appear.Google Scholar
- [O'DO85]O'Donnell, M.J., “Equational Logic as a Programming Language”, Foundations of Computing Series, MIT Press, 1985.Google Scholar
- [STA80]Staples, J., “Computation on Graph-like Expressions”, Theor. Comp. Sc. 10, North-Holland, 1980, pp. 171–185.Google Scholar
- [VEG84]Vegdahl, Steven R., “A Survey of Proposed Architectures for the Execution of Functional Languages”, IEEE Transactions on Computers, vol. c-33, no. 12, december 1984.Google Scholar