Travelled to:
1 × USA
Collaborated with:
E.Gansner J.R.Horgan C.M.R.Kintala D.J.Moore
Talks about:
translat (1) languag (1) correct (1) semant (1) queri (1)
Person: P. Surko
DBLP: Surko:P=
Contributed to:
Wrote 1 papers:
- POPL-1982-GansnerHKMS #correctness #query #semantics
- Semantics and Correctness of a Query Language Translation (EG, JRH, CMRK, DJM, PS), pp. 289–298.