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 × Denmark
1 × The Netherlands
4 × USA
Collaborated with:
J.V.Guttag D.Evans Y.M.Tan A.Birrell R.Levin
Talks about:
specif (4) larch (3) formal (2) tool (2) multiprocessor (1) synchron (1) interfac (1) languag (1) algebra (1) tutori (1)

Person: James J. Horning

DBLP DBLP: Horning:James_J=

Contributed to:

FSE 19941994
SOSP 19871987
PS 19811981
POPL 19801980
Design and Implementation of Programming Languages 19761976
VDM Europe (2) 19911991
TAPSOFT, Vol.2: AS 19851985

Wrote 8 papers:

FSE-1994-EvansGHT #named #specification #using
LCLint: A Tool for Using Specifications to Check Code (DE, JVG, JJH, YMT), pp. 87–96.
SOSP-1987-BirrellGHL #multi #specification
Synchronization Primitives for a Multiprocessor: A Formal Specification (AB, JVG, JJH, RL), pp. 94–102.
Issues and Observations (JJH), pp. 5–24.
POPL-1980-GuttagH #design #specification
Formal Specification as a Design Tool (JVG, JJH), pp. 251–261.
DIPL-1976-Horning #speech
After-dinner speech (JJH), pp. 444–445.
VDME-1991-GuttagH #interface #tutorial
A Tutorial on LARCH and LCL, A LARCH/C Interface Language (JVG, JJH), pp. 1–78.
AS-1985-Horning #algebra #specification
Combining Algebraic and Predicative Specifications in Larch (JJH), pp. 12–26.

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.