The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Richard Kennaway: [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. Richard Kennaway, Vincent van Oostrom, Fer-Jan de Vries
    Meaningless Terms in Rewriting. [Citation Graph (0, 0)][DBLP]
    ALP, 1996, pp:254-268 [Conf]
  3. Sugwoo Byun, Richard Kennaway, M. Ronan Sleep
    Transformation of Orthogonal Term Rewriting Systems. [Citation Graph (0, 0)][DBLP]
    ASIAN, 1995, pp:73-87 [Conf]
  4. Sugwoo Byun, Richard Kennaway, M. Ronan Sleep
    Lambda-Definable Term rewriting Systems. [Citation Graph (0, 0)][DBLP]
    ASIAN, 1996, pp:106-115 [Conf]
  5. Ralph Elliott, John R. W. Glauert, Richard Kennaway, Ian Marshall
    The development of language processing support for the ViSiCAST project. [Citation Graph (0, 0)][DBLP]
    ASSETS, 2000, pp:101-108 [Conf]
  6. 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]
  7. Richard Kennaway
    Implementing Term Rewritin Languages in Dactl. [Citation Graph (0, 0)][DBLP]
    CAAP, 1988, pp:102-116 [Conf]
  8. Richard Kennaway
    A Conflict Between Call-by-Need Computation and Parallelism. [Citation Graph (0, 0)][DBLP]
    CTRS, 1994, pp:247-261 [Conf]
  9. Richard Kennaway
    The Specificity Rule for Lazy Pattern-Matching in Ambiguous Term Rewrite Systems. [Citation Graph (0, 0)][DBLP]
    ESOP, 1990, pp:256-270 [Conf]
  10. 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]
  11. Richard Kennaway
    Graph Rewriting in Some Categories of Partial Morphisms. [Citation Graph (0, 0)][DBLP]
    Graph-Grammars and Their Application to Computer Science, 1990, pp:490-504 [Conf]
  12. Richard Kennaway
    Synthetic Animation of Deaf Signing Gestures. [Citation Graph (0, 0)][DBLP]
    Gesture Workshop, 2001, pp:146-157 [Conf]
  13. Richard Kennaway
    Experience with and Requirements for a Gesture Description Language for Synthetic Animation. [Citation Graph (0, 0)][DBLP]
    Gesture Workshop, 2003, pp:300-311 [Conf]
  14. Richard Kennaway, C. A. R. Hoare
    A Theory of Nondeterminism. [Citation Graph (0, 0)][DBLP]
    ICALP, 1980, pp:338-350 [Conf]
  15. Richard Kennaway, M. Ronan Sleep
    Applicative Objects as Processes. [Citation Graph (0, 0)][DBLP]
    ICDCS, 1982, pp:718-723 [Conf]
  16. Richard Kennaway, M. Ronan Sleep
    Expressions as Processes. [Citation Graph (0, 0)][DBLP]
    Symposium on LISP and Functional Programming, 1982, pp:21-28 [Conf]
  17. 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]
  18. 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]
  19. Richard Kennaway, Zurab Khasidashvili, Adolfo Piperno
    Static Analysis of Modularity of beta-Reduction in the Hyperbalanced lambda-Calculus. [Citation Graph (0, 0)][DBLP]
    RTA, 2002, pp:51-65 [Conf]
  20. 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]
  21. 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]
  22. 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]
  23. Richard Kennaway
    Sequential Evaluation Strategies for Parallel-Or and Related Reduction Systems. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 1989, v:43, n:1, pp:31-56 [Journal]
  24. David Clark, Richard Kennaway
    Some properties of non-orthogonal term graph rewriting systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1995, v:2, n:, pp:- [Journal]
  25. Richard Kennaway
    Infinitary rewriting and cyclic graphs. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1995, v:2, n:, pp:- [Journal]
  26. 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]
  27. 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]
  28. 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]
  29. Richard Kennaway, Vincent van Oostrom, Fer-Jan de Vries
    Meaningless Terms in Rewriting. [Citation Graph (0, 0)][DBLP]
    Journal of Functional and Logic Programming, 1999, v:1999, n:1, pp:- [Journal]
  30. 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]
  31. 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]
  32. John R. W. Glauert, Richard Kennaway, Zurab Khasidashvili
    Stable results and relative normalization. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2000, v:10, n:3, pp:323-348 [Journal]
  33. David Clark, Richard Kennaway
    Event Structures and Non-Orthogonal Term Graph Rewriting. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 1996, v:6, n:6, pp:545-578 [Journal]
  34. 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]
  35. Richard Kennaway
    On ``On Graph Rewritings''. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1987, v:52, n:, pp:37-58 [Journal]
  36. Richard Kennaway
    On ``On Graph Rewritings'' (Corrigendum). [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1988, v:61, n:, pp:317-320 [Journal]
  37. Richard Kennaway
    Implementing Term Rewrite Languages in Dactl. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1990, v:72, n:2&3, pp:225-249 [Journal]
  38. 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]
  39. 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]
  40. 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]

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


Search in 0.095secs, Finished in 0.096secs
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