M. Ronan Sleep

Publication Activity (10 Years)

Years Active: 1980-2005
Publications (10 Years): 0

Brunel University London, UK (PHD)

Education History

Brunel University London, UK

PHD

Publications

Richard Kennaway, Paula Severi, M. Ronan Sleep, Fer-Jan de Vries
Infinitary Rewriting: From Syntax to Semantics. Processes, Terms and Cycles (2005)
Richard Kennaway, Jan Willem Klop, M. Ronan Sleep, Fer-Jan de Vries
Infinitary Lambda Calculus. Theor. Comput. Sci. 175 (1) (1997)
John R. W. Glauert, Richard Kennaway, George A. Papadopoulos, M. Ronan Sleep
Dactl: an experimental graph rewriting language. J. Program. Lang. 5 (1) (1997)
Richard Kennaway, Jan Willem Klop, M. Ronan Sleep, Fer-Jan de Vries
Comparing Curried and Uncurried Rewriting. J. Symb. Comput. 21 (1) (1996)
Sugwoo Byun, Richard Kennaway, M. Ronan Sleep
Lambda-Definable Term rewriting Systems. ASIAN (1996)
Sugwoo Byun, Richard Kennaway, M. Ronan Sleep
Transformation of Orthogonal Term Rewriting Systems. ASIAN (1995)
M. Ronan Sleep
SEMAGRAPH: the theory and practice of term graph rewriting. Electron. Notes Theor. Comput. Sci. 2 (1995)
Richard Kennaway, Jan Willem Klop, M. Ronan Sleep, Fer-Jan de Vries
Infinitary Lambda Calculi and Böhm Models. RTA (1995)
Richard Kennaway, Jan Willem Klop, M. Ronan Sleep, Fer-Jan de Vries
Transfinite Reductions in Orthogonal Term Rewriting Systems Inf. Comput. 119 (1) (1995)
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)
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) (1994)
Richard Kennaway, Jan Willem Klop, M. Ronan Sleep, Fer-Jan de Vries
Transfinite Reductions in Orthogonal Term Rewriting Systems (Extended Abstract). RTA (1991)
M. Ronan Sleep
Applications of Graph Grammars and Directions for Research. Graph-Grammars and Their Application to Computer Science (1990)
John R. W. Glauert, Richard Kennaway, M. Ronan Sleep
Dactl: An Experimental Graph Rewriting Language. Graph-Grammars and Their Application to Computer Science (1990)
D. L. McBurney, M. Ronan Sleep
Graph Rewriting as a Computational Model. Concurrency: Theory, Language, And Architecture (1989)
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 Comput. 9 (2) (1989)
D. L. McBurney, M. Ronan Sleep
Transputers + virtual tree kernel = real speedups. C³P (1988)
Richard Kennaway, M. Ronan Sleep
Director Strings as Combinators. ACM Trans. Program. Lang. Syst. 10 (4) (1988)
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)
D. L. McBurney, M. Ronan Sleep
Transputer-Based Experiments with the ZAPP Architecture. PARLE (1) (1987)
Richard Kennaway, M. Ronan Sleep
Variable Abstraction in O(n log n) Space. Inf. Process. Lett. 24 (5) (1987)
Hendrik Pieter Barendregt, Richard Kennaway, Jan Willem Klop, M. Ronan Sleep
Needed Reduction and Spine Strategies for the Lambda Calculus Inf. Comput. 75 (3) (1987)
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)
Robert M. Keller, M. Ronan Sleep
Applicative Caching. ACM Trans. Program. Lang. Syst. 8 (1) (1986)
Richard Kennaway, M. Ronan Sleep
Syntax and informal semantics of DyNe, a parallel language. The Analysis of Concurrent Systems (1983)
J. Richard Kennaway, M. Ronan Sleep
Novel architectures for declarative languages. Softw. Microsystems 2 (3) (1983)
Richard Kennaway, M. Ronan Sleep
Parallel implementation of functional languages. ICPP (1982)
Richard Kennaway, M. Ronan Sleep
Applicative Objects as Processes. ICDCS (1982)
Richard Kennaway, M. Ronan Sleep
Expressions as Processes. Symposium on LISP and Functional Programming (1982)
M. Ronan Sleep, F. Warren Burton
Towards a Zero Assignment Parallel Processor. ICDCS (1981)
Robert M. Keller, M. Ronan Sleep
Applicative caching: Programmer control of object sharing and lifetime in. distributed implementations of applicative languages. FPCA (1981)
F. Warren Burton, M. Ronan Sleep
Executing functional programs on a virtual tree of processors. FPCA (1981)
D. B. Arnold, M. Ronan Sleep
Uniform Random Generation of Balanced Parenthesis Strings. ACM Trans. Program. Lang. Syst. 2 (1) (1980)

M. Ronan Sleep.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

M. Ronan Sleep