BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
2 × USA
Collaborated with:
S.R.Dalal J.R.Kettenring E.Gansner C.M.R.Kintala D.J.Moore P.Surko
Talks about:
softwar (2) reliabl (2) translat (1) communic (1) qualiti (1) languag (1) correct (1) semant (1) safeti (1) queri (1)

Person: Joseph R. Horgan

DBLP DBLP: Horgan:Joseph_R=

Contributed to:

ICSE 19931993
POPL 19821982

Wrote 2 papers:

ICSE-1993-DalalHK #communication #quality #reliability #safety
Reliable Software and Communication: Software Quality, Reliability, and Safety (SRD, JRH, JRK), pp. 425–435.
POPL-1982-GansnerHKMS #correctness #query #semantics
Semantics and Correctness of a Query Language Translation (EG, JRH, CMRK, DJM, PS), pp. 289–298.

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.