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 × France
2 × Germany
Collaborated with:
H.Ehrig A.S.K.Cheng P.J.Robinson
Talks about:
level (2) graph (2) represent (1) properti (1) overmost (1) leftmost (1) calculus (1) program (1) express (1) system (1)

Person: John Staples

DBLP DBLP: Staples:John

Contributed to:

ICLP 19911991
GG 19821982
GG 19781978

Wrote 4 papers:

ICLP-1991-ChengRS #metaprogramming #prolog
Higher Level Meta Programming in Qu-Prolog 3: 0 (ASKC, PJR, JS), pp. 285–298.
GG-1982-EhrigS #graph transformation
Church-Rosser properties for graph replacement systems with unique splitting (HE, JS), pp. 82–101.
GG-1982-Staples #evaluation #performance #representation
Two-level expression representation for faster evaluation (JS), pp. 392–404.
GG-1978-Staples #reduction #λ-calculus
A Graph-Like λ Calculus for Which Leftmost-Overmost Reduction is Optimal (JS), pp. 440–455.

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.