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: Horgan:Joseph_R=
Contributed to:
1993
1982Wrote 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.