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: Horning:James_J=
Contributed to:
1994
1987
1981
1980
1976
1991
1985Wrote 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.
- PS-1981-Horning
- 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.