M. Ronan Sleep

34 papers A 2B 1Journal 12Unranked 18
YearRankTypeTitle / Venue / Authors
2005 — conf
Infinitary Rewriting: From Syntax to Semantics.
Processes, Terms and Cycles
Richard Kennaway, Paula Severi, M. Ronan Sleep, Fer-Jan de Vries
1997 J jnl
Dactl: an experimental graph rewriting language.
J. Program. Lang.
John R. W. Glauert, Richard Kennaway, George A. Papadopoulos, M. Ronan Sleep
1997 J jnl
Infinitary Lambda Calculus.
Theor. Comput. Sci.
Richard Kennaway, Jan Willem Klop, M. Ronan Sleep, Fer-Jan de Vries
1996 J jnl
Comparing Curried and Uncurried Rewriting.
J. Symb. Comput.
Richard Kennaway, Jan Willem Klop, M. Ronan Sleep, Fer-Jan de Vries
1996 — conf
Lambda-Definable Term rewriting Systems.
ASIAN
Sugwoo Byun, Richard Kennaway, M. Ronan Sleep
1995 — conf
Infinitary Lambda Calculi and Böhm Models.
RTA
Richard Kennaway, Jan Willem Klop, M. Ronan Sleep, Fer-Jan de Vries
1995 — conf
SEMAGRAPH: the theory and practice of term graph rewriting.
SEGRAGRA
M. Ronan Sleep
1995 J jnl
Transfinite Reductions in Orthogonal Term Rewriting Systems
Inf. Comput.
Richard Kennaway, Jan Willem Klop, M. Ronan Sleep, Fer-Jan de Vries
1995 — conf
Transformation of Orthogonal Term Rewriting Systems.
ASIAN
Sugwoo Byun, Richard Kennaway, M. Ronan Sleep
1994 J jnl
On the Adequacy of Graph Rewriting for Simulating Term Rewriting.
ACM Trans. Program. Lang. Syst.
Richard Kennaway, Jan Willem Klop, M. Ronan Sleep, Fer-Jan de Vries
1994 — conf
Syntactic Definitions of Undefined: On Defining the Undefined.
TACS
Zena M. Ariola, Richard Kennaway, Jan Willem Klop, M. Ronan Sleep, Fer-Jan de Vries
1991 — conf
Transfinite Reductions in Orthogonal Term Rewriting Systems (Extended Abstract).
RTA
Richard Kennaway, Jan Willem Klop, M. Ronan Sleep, Fer-Jan de Vries
1990 — conf
Applications of Graph Grammars and Directions for Research.
Graph-Grammars and Their Application to Computer Science
M. Ronan Sleep
1990 — conf
Dactl: An Experimental Graph Rewriting Language.
Graph-Grammars and Their Application to Computer Science
John R. W. Glauert, Richard Kennaway, M. Ronan Sleep
1989 — conf
Graph Rewriting as a Computational Model.
Concurrency: Theory, Language, And Architecture
D. L. McBurney, M. Ronan Sleep
1989 J jnl
LEAN: an intermediate language based on graph rewriting.
Parallel Comput.
Hendrik Pieter Barendregt, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer, John R. W. Glauert, Richard Kennaway, M. Ronan Sleep
1988 J jnl
Director Strings as Combinators.
ACM Trans. Program. Lang. Syst.
Richard Kennaway, M. Ronan Sleep
1988 — conf
Transputers + virtual tree kernel = real speedups.
C³P
D. L. McBurney, M. Ronan Sleep
1987 J jnl
Needed Reduction and Spine Strategies for the Lambda Calculus
Inf. Comput.
Hendrik Pieter Barendregt, Richard Kennaway, Jan Willem Klop, M. Ronan Sleep
1987 — conf
Term Graph Rewriting.
PARLE (2)
Hendrik Pieter Barendregt, Marko C. J. D. van Eekelen, John R. W. Glauert, Richard Kennaway, Marinus J. Plasmeijer, M. Ronan Sleep
1987 — conf
Towards an Intermediate Language based on Graph Rewriting.
PARLE (2)
Hendrik Pieter Barendregt, Marko C. J. D. van Eekelen, John R. W. Glauert, Richard Kennaway, Marinus J. Plasmeijer, M. Ronan Sleep
1987 — conf
Transputer-Based Experiments with the ZAPP Architecture.
PARLE (1)
D. L. McBurney, M. Ronan Sleep
1987 J jnl
Variable Abstraction in O(n log n) Space.
Inf. Process. Lett.
Richard Kennaway, M. Ronan Sleep
1986 J jnl
Applicative Caching.
ACM Trans. Program. Lang. Syst.
Robert M. Keller, M. Ronan Sleep
1983 J jnl
Novel architectures for declarative languages.
Softw. Microsystems
J. Richard Kennaway, M. Ronan Sleep
1983 — conf
Syntax and informal semantics of DyNe, a parallel language.
The Analysis of Concurrent Systems
Richard Kennaway, M. Ronan Sleep
1982 A conf
Applicative Objects as Processes.
ICDCS
Richard Kennaway, M. Ronan Sleep
1982 — conf
Expressions as Processes.
Symposium on LISP and Functional Programming
Richard Kennaway, M. Ronan Sleep
1982 B conf
Parallel implementation of functional languages.
ICPP
Richard Kennaway, M. Ronan Sleep
1981 — conf
Applicative caching: Programmer control of object sharing and lifetime in. distributed implementations of applicative languages.
FPCA
Robert M. Keller, M. Ronan Sleep
1981 — conf
Executing functional programs on a virtual tree of processors.
FPCA
F. Warren Burton, M. Ronan Sleep
1981 A conf
Towards a Zero Assignment Parallel Processor.
ICDCS
M. Ronan Sleep, F. Warren Burton
1980 J jnl
Uniform Random Generation of Balanced Parenthesis Strings.
ACM Trans. Program. Lang. Syst.
D. B. Arnold, M. Ronan Sleep
1975 — —
The extraction of heuristic information from a special class of state space representations.
M. Ronan Sleep