2005 |
29 | EE | Richard Kennaway,
Paula Severi,
M. Ronan Sleep,
Fer-Jan de Vries:
Infinitary Rewriting: From Syntax to Semantics.
Processes, Terms and Cycles 2005: 148-172 |
1997 |
28 | EE | John R. W. Glauert,
Richard Kennaway,
George A. Papadopoulos,
M. Ronan Sleep:
Dactl: an experimental graph rewriting language.
J. Prog. Lang. 5(1): 85-108 (1997) |
27 | EE | Richard Kennaway,
Jan Willem Klop,
M. Ronan Sleep,
Fer-Jan de Vries:
Infinitary Lambda Calculus.
Theor. Comput. Sci. 175(1): 93-125 (1997) |
1996 |
26 | | Sugwoo Byun,
Richard Kennaway,
M. Ronan Sleep:
Lambda-Definable Term rewriting Systems.
ASIAN 1996: 106-115 |
25 | | Richard Kennaway,
Jan Willem Klop,
M. Ronan Sleep,
Fer-Jan de Vries:
Comparing Curried and Uncurried Rewriting.
J. Symb. Comput. 21(1): 15-39 (1996) |
1995 |
24 | | Sugwoo Byun,
Richard Kennaway,
M. Ronan Sleep:
Transformation of Orthogonal Term Rewriting Systems.
ASIAN 1995: 73-87 |
23 | | Richard Kennaway,
Jan Willem Klop,
M. Ronan Sleep,
Fer-Jan de Vries:
Infinitary Lambda Calculi and Böhm Models.
RTA 1995: 257-270 |
22 | EE | M. Ronan Sleep:
SEMAGRAPH: the theory and practice of term graph rewriting.
Electr. Notes Theor. Comput. Sci. 2: (1995) |
21 | | Richard Kennaway,
Jan Willem Klop,
M. Ronan Sleep,
Fer-Jan de Vries:
Transfinite Reductions in Orthogonal Term Rewriting Systems
Inf. Comput. 119(1): 18-38 (1995) |
1994 |
20 | | Zena M. Ariola,
Richard Kennaway,
Jan Willem Klop,
M. Ronan Sleep,
Fer-Jan de Vries:
Syntactic Definitions of Undefined: On Defining the Undefined.
TACS 1994: 543-554 |
19 | EE | Richard Kennaway,
Jan Willem Klop,
M. Ronan Sleep,
Fer-Jan de Vries:
On the Adequacy of Graph Rewriting for Simulating Term Rewriting.
ACM Trans. Program. Lang. Syst. 16(3): 493-523 (1994) |
1991 |
18 | | Richard Kennaway,
Jan Willem Klop,
M. Ronan Sleep,
Fer-Jan de Vries:
Transfinite Reductions in Orthogonal Term Rewriting Systems (Extended Abstract).
RTA 1991: 1-12 |
1990 |
17 | | John R. W. Glauert,
Richard Kennaway,
M. Ronan Sleep:
Dactl: An Experimental Graph Rewriting Language.
Graph-Grammars and Their Application to Computer Science 1990: 378-395 |
16 | | M. Ronan Sleep:
Applications of Graph Grammars and Directions for Research.
Graph-Grammars and Their Application to Computer Science 1990: 57-60 |
1989 |
15 | | D. L. McBurney,
M. Ronan Sleep:
Graph Rewriting as a Computational Model.
Concurrency: Theory, Language, And Architecture 1989: 235-256 |
14 | | Hendrik Pieter Barendregt,
Marko C. J. D. van Eekelen,
Marinus J. Plasmeijer,
John R. W. Glauert,
Richard Kennaway,
M. Ronan Sleep:
LEAN: an intermediate language based on graph rewriting.
Parallel Computing 9(2): 163-177 (1989) |
1988 |
13 | EE | Richard Kennaway,
M. Ronan Sleep:
Director Strings as Combinators.
ACM Trans. Program. Lang. Syst. 10(4): 602-626 (1988) |
1987 |
12 | | D. L. McBurney,
M. Ronan Sleep:
Transputer-Based Experiments with the ZAPP Architecture.
PARLE (1) 1987: 242-259 |
11 | | Hendrik Pieter Barendregt,
Marko C. J. D. van Eekelen,
John R. W. Glauert,
Richard Kennaway,
Marinus J. Plasmeijer,
M. Ronan Sleep:
Term Graph Rewriting.
PARLE (2) 1987: 141-158 |
10 | | Hendrik Pieter Barendregt,
Marko C. J. D. van Eekelen,
John R. W. Glauert,
Richard Kennaway,
Marinus J. Plasmeijer,
M. Ronan Sleep:
Towards an Intermediate Language based on Graph Rewriting.
PARLE (2) 1987: 159-175 |
9 | | Hendrik Pieter Barendregt,
Richard Kennaway,
Jan Willem Klop,
M. Ronan Sleep:
Needed Reduction and Spine Strategies for the Lambda Calculus
Inf. Comput. 75(3): 191-231 (1987) |
8 | | Richard Kennaway,
M. Ronan Sleep:
Variable Abstraction in O(n log n) Space.
Inf. Process. Lett. 24(5): 343-349 (1987) |
1986 |
7 | EE | Robert M. Keller,
M. Ronan Sleep:
Applicative Caching.
ACM Trans. Program. Lang. Syst. 8(1): 88-108 (1986) |
1983 |
6 | | Richard Kennaway,
M. Ronan Sleep:
Syntax and informal semantics of DyNe, a parallel language.
The Analysis of Concurrent Systems 1983: 222-230 |
1982 |
5 | | Richard Kennaway,
M. Ronan Sleep:
Applicative Objects as Processes.
ICDCS 1982: 718-723 |
4 | | Richard Kennaway,
M. Ronan Sleep:
Parallel implementation of functional languages.
ICPP 1982: 168-170 |
3 | | Richard Kennaway,
M. Ronan Sleep:
Expressions as Processes.
Symposium on LISP and Functional Programming 1982: 21-28 |
1981 |
2 | | M. Ronan Sleep,
F. Warren Burton:
Towards a Zero Assignment Parallel Processor.
ICDCS 1981: 80-85 |
1980 |
1 | EE | D. B. Arnold,
M. Ronan Sleep:
Uniform Random Generation of Balanced Parenthesis Strings.
ACM Trans. Program. Lang. Syst. 2(1): 122-128 (1980) |