BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Italy
1 × USA
2 × Denmark
3 × Germany
Collaborated with:
M.R.Sleep F.d.Vries J.W.Klop C.A.R.Hoare Z.Khasidashvili A.Piperno V.v.Oostrom J.R.W.Glauert
Talks about:
rewrit (5) term (3) system (2) reduct (2) graph (2) nondetermin (1) meaningless (1) hyperbalanc (1) transfinit (1) infinitari (1)

Person: Richard Kennaway

DBLP DBLP: Kennaway:Richard

Contributed to:

RTA 20022002
ALP 19961996
RTA 19951995
RTA 19911991
ESOP 19901990
GG 19901990
LFP 19821982
ICALP 19801980

Wrote 9 papers:

RTA-2002-KennawayKP #composition #static analysis #λ-calculus
Static Analysis of Modularity of β-Reduction in the Hyperbalanced λ-Calculus (RK, ZK, AP), pp. 51–65.
ALP-1996-KennawayOV #term rewriting
Meaningless Terms in Rewriting (RK, VvO, FJdV), pp. 254–268.
RTA-1995-KennawayKSV #modelling #λ-calculus
Infinitary λ Calculi and Böhm Models (RK, JWK, MRS, FJdV), pp. 257–270.
RTA-1991-KennawayKSV #orthogonal #reduction #term rewriting
Transfinite Reductions in Orthogonal Term Rewriting Systems (RK, JWK, MRS, FJdV), pp. 1–12.
ESOP-1990-Kennaway #ambiguity #lazy evaluation #pattern matching #term rewriting
The Specificity Rule for Lazy Pattern-Matching in Ambiguous Term Rewrite Systems (RK), pp. 256–270.
GG-1990-GlauertKS #graph grammar #named
Dactl: An Experimental Graph Rewriting Language (JRWG, RK, MRS), pp. 378–395.
GG-1990-Kennaway #category theory #graph grammar #morphism
Graph Rewriting in Some Categories of Partial Morphisms (RK), pp. 490–504.
LFP-1982-KennawayS #process
Expressions as Processes (RK, MRS), pp. 21–28.
ICALP-1980-KennawayH #formal method #nondeterminism
A Theory of Nondeterminism (RK, CARH), pp. 338–350.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.