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 × Greece
6 × USA
Collaborated with:
J.V.Guttag K.A.Yelick D.C.Luckham N.A.Lynch T.N.Win M.D.Ernst D.K.Kaynar J.F.Søgaard-Andersen A.Pogosyants
Talks about:
simul (2) larch (2) distribut (1) algorithm (1) procedur (1) parallel (1) overview (1) abstract (1) equival (1) complet (1)

Person: Stephen J. Garland

DBLP DBLP: Garland:Stephen_J=

Contributed to:

VMCAI 20032003
CAV 19931993
CADE 19921992
RTA 19891989
CADE 19881988
POPL 19881988
STOC 19721972

Wrote 7 papers:

VMCAI-2003-WinEGKL #algorithm #distributed #execution #using #verification
Using Simulated Execution in Verifying Distributed Algorithms (TNW, MDE, SJG, DKK, NAL), pp. 283–297.
CAV-1993-Sogaard-AndersenGGLP #proving #simulation
Computer-Assisted Simulation Proofs (JFSA, SJG, JVG, NAL, AP), pp. 305–319.
CADE-1992-YelickG #parallel #term rewriting
A Parallel Completion Procedure for Term Rewriting Systems (KAY, SJG), pp. 109–123.
RTA-1989-GarlandG #overview
An Overview of LP, The Larch Power (SJG, JVG), pp. 137–151.
CADE-1988-GarlandG #named #proving
LP: The Larch Prover (SJG, JVG), pp. 748–749.
POPL-1988-GarlandG #data type #induction #reasoning
Inductive Methods for Reasoning about Abstract Data Types (SJG, JVG), pp. 219–228.
STOC-1972-GarlandL #equivalence #on the
On the Equivalence of Schemes (SJG, DCL), pp. 65–72.

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.