Multi-Paradigm Programming through Graph Rewriting

EPSRC Grant GR/H41300

Downloadable files

Project Background

[Case]
J.R.W. Glauert: Grant GR/H41300: Case for Support, 1992. (PDF Version) (Postscript Version)

[Info]
J.R.W. Glauert: Grant GR/H41300: Additional Information, 1992. (PDF Version) (Postscript Version)

[Report]
J.R.W. Glauert: Grant GR/H41300: Final Report, 1996. (PDF Version) (Postscript Version)

[Summary]
J.R.W. Glauert: Grant GR/H41300: Summary of Final Report, 1996. (PDF Version) (Postscript Version)

Project Publications

[GlaKenSle 91]
J.R.W. Glauert, J.R. Kennaway, and M.R. Sleep: Dactl: An Experimental Graph Rewriting Language, Proceedings, 4th International Workshop on Graph Grammars, Bremen, 1990. Springer LNCS, Vol. 532, Springer-Verlag, 1991. (PDF Version) (Postscript Version)

[Glauert 92a]
J.R.W. Glauert: Asynchronous Mobile Processes and Graph Rewriting, Proceedings PARLE'92, Champs Sur Marne, Paris, June 1992, Springer LNCS, Vol. 605, 1992. (PDF Version) (Postscript Version)

[Glauert 92b]
J.R.W. Glauert: Parallel Implementation of Functional Languages Using Small Processes, Proceedings, International Workshop on Parallel Implementation of Functional Languages, RTWH Aachen, September 1992. (PDF Version) (Postscript Version)

[GlaLetTho 93]
J.R.W. Glauert, L. Leth, and B. Thomsen: A New Process Model for Functions, in: M.R. Sleep, M.J. Plasmeijer, and M.C.J.D. van Eekelen (eds): Term Graph Rewriting: Theory and Practice, Chapter 18, Wiley, 1993. (PDF Version) (Postscript Version)

[GlaKha 94a]
J.R.W. Glauert and Z. Khasidashvili: Relative normalization in orthogonal expression reduction systems. International workshop on conditional (and typed) term rewriting systems, CTRS'94, Springer LNCS, vol. 968, N. Dershowitz, N. Lindenstrauss eds. Jerusalem, p144, 1994. (PDF Version) (Postscript Version)

[GlaKha 94b]
J.R.W. Glauert and Z. Khasidashvili: Minimal and Optimal relative normalization in orthogonal expression reduction systems. Report SYS-C94-06. UEA Norwich, 1994. (DVI Version) (Postscript Version)

[GlaKhaLetTho 95]
J.R.W. Glauert, Z. Khasidashvili, L. Leth, and B. Thomsen: Syntax and Semantics of the pi^pi-Calculus, Report SYS-C95-10. UEA Norwich, 1995.

[GlaKha 96a]
J.R.W. Glauert and Z. Khasidashvili: Relative normalization in Deterministic Residual Structures. In: Proc. of the 19th International Colloquium on Trees in Algebra and Programming, CAAP'96, Springer LNCS, Vol. 1059, p180, 1996. (PDF Version) (Postscript Version)

[GlaKha 96b]
J.R.W. Glauert and Z. Khasidashvili: Relative normalization in stable deterministic residual structures. Report SYS-C96-01, UEA Norwich, 1996.

[Glauert 96]
J.R.W. Glauert: Parallel Implementation through Object Graph Rewriting, Proceedings, International Workshop on Parallel Implementation of Functional Languages, Bonn, September 1996. (PDF Version) (Postscript Version)

[GlaKha 96c]
J.R.W. Glauert and Z. Khasidashvili: Minimal relative normalization in orthogonal expression reduction systems. In Proc. of the 16th International Conference on Foundations of Software Technology and Theoretical Computer Science, FST&TCS'96, Springer LNCS, to appear. (PDF Version) (Postscript Version)

[KhaOos 95a]
Z. Khasidashvili and V. van Oostrom: Context-sensitive conditional expression reduction systems. In proc. of the International Workshop on Graph Rewriting and Computation, SEGRAGRA'95. In Electronic Notes in Computer Science, Elsevier Science B.V., p141, 1995.

[KhaOos 95b]
Z. Khasidashvili and V. van Oostrom: Context-sensitive Conditional Rewrite Systems. Report SYS-C95-06. UEA Norwich, 1995. (PDF Version) (Postscript Version)

[KhaGla 96a]
Z. Khasidashvili and J. R. W. Glauert: Discrete Normalization and Standardization in Deterministic Residual Structures. In proc. of the 5th International Conference on Algebraic and Logic Programming, ALP'96, Springer LNCS, vol. 1139, p135, 1996. (PDF Version) (Postscript Version)

[KhaGla 96b]
Z. Khasidashvili and J.R.W. Glauert: Discrete normalization and standardization in stable deterministic residual structures. Report SYS-C96-02, UEA, Norwich, 1996.

[KhaGla 96c]
Z. Khasidashvili and J. R. W. Glauert: Zig-zag and extraction families in stable non-duplicating Deterministic Residual Structures. Submitted. (PDF Version) (Postscript Version)