default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDM. Ronan Sleep
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2000 – 2009
- 2005
[c21]Richard Kennaway, Paula Severi, M. Ronan Sleep, Fer-Jan de Vries:
Infinitary Rewriting: From Syntax to Semantics. Processes, Terms and Cycles 2005: 148-172
1990 – 1999
- 1997
- [j12]John R. W. Glauert, Richard Kennaway, George A. Papadopoulos, M. Ronan Sleep:
Dactl: an experimental graph rewriting language. J. Program. Lang. 5(1): 85-108 (1997) - [j11]Richard Kennaway, Jan Willem Klop, M. Ronan Sleep, Fer-Jan de Vries:
Infinitary Lambda Calculus. Theor. Comput. Sci. 175(1): 93-125 (1997) - 1996
- [j10]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) - [c20]Sugwoo Byun, Richard Kennaway, M. Ronan Sleep:
Lambda-Definable Term rewriting Systems. ASIAN 1996: 106-115 - 1995
- [j9]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) - [c19]Sugwoo Byun, Richard Kennaway, M. Ronan Sleep:
Transformation of Orthogonal Term Rewriting Systems. ASIAN 1995: 73-87 - [c18]Richard Kennaway, Jan Willem Klop, M. Ronan Sleep, Fer-Jan de Vries:
Infinitary Lambda Calculi and Böhm Models. RTA 1995: 257-270 - [c17]M. Ronan Sleep:
SEMAGRAPH: the theory and practice of term graph rewriting. SEGRAGRA 1995: 268-276 - 1994
- [j8]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) - [c16]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 - 1991
- [c15]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
- [c14]M. Ronan Sleep:
Applications of Graph Grammars and Directions for Research. Graph-Grammars and Their Application to Computer Science 1990: 57-60 - [c13]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
1980 – 1989
- 1989
- [j7]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): 163-177 (1989) - [c12]D. L. McBurney, M. Ronan Sleep:
Graph Rewriting as a Computational Model. Concurrency: Theory, Language, And Architecture 1989: 235-256 - 1988
- [j6]Richard Kennaway, M. Ronan Sleep:
Director Strings as Combinators. ACM Trans. Program. Lang. Syst. 10(4): 602-626 (1988) - [c11]D. L. McBurney, M. Ronan Sleep:
Transputers + virtual tree kernel = real speedups. C³P 1988: 128-137 - 1987
- [j5]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) - [j4]Richard Kennaway, M. Ronan Sleep:
Variable Abstraction in O(n log n) Space. Inf. Process. Lett. 24(5): 343-349 (1987) - [c10]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 - [c9]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 - [c8]D. L. McBurney, M. Ronan Sleep:
Transputer-Based Experiments with the ZAPP Architecture. PARLE (1) 1987: 242-259 - 1986
- [j3]Robert M. Keller, M. Ronan Sleep:
Applicative Caching. ACM Trans. Program. Lang. Syst. 8(1): 88-108 (1986) - 1983
- [j2]J. Richard Kennaway, M. Ronan Sleep:
Novel architectures for declarative languages. Softw. Microsystems 2(3): 59-70 (1983) - [c7]Richard Kennaway, M. Ronan Sleep:
Syntax and informal semantics of DyNe, a parallel language. The Analysis of Concurrent Systems 1983: 222-230 - 1982
- [c6]Richard Kennaway, M. Ronan Sleep:
Applicative Objects as Processes. ICDCS 1982: 718-723 - [c5]Richard Kennaway, M. Ronan Sleep:
Parallel implementation of functional languages. ICPP 1982: 168-170 - [c4]Richard Kennaway, M. Ronan Sleep:
Expressions as Processes. Symposium on LISP and Functional Programming 1982: 21-28 - 1981
- [c3]Robert M. Keller, M. Ronan Sleep:
Applicative caching: Programmer control of object sharing and lifetime in. distributed implementations of applicative languages. FPCA 1981: 131-140 - [c2]F. Warren Burton, M. Ronan Sleep:
Executing functional programs on a virtual tree of processors. FPCA 1981: 187-194 - [c1]M. Ronan Sleep, F. Warren Burton:
Towards a Zero Assignment Parallel Processor. ICDCS 1981: 80-85 - 1980
- [j1]D. B. Arnold, M. Ronan Sleep:
Uniform Random Generation of Balanced Parenthesis Strings. ACM Trans. Program. Lang. Syst. 2(1): 122-128 (1980)
1970 – 1979
- 1975
- [b1]M. Ronan Sleep:
The extraction of heuristic information from a special class of state space representations. Brunel University London, UK, 1975
Coauthor Index
aka: J. Richard Kennaway
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 22:51 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
