The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

M. Ronan Sleep: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  29. Parallel implementation of functional languages. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002