Semantics and Correctness of a Query Language Translation.

E. Gansner, Joseph R. Horgan, Chandra M. R. Kintala, D. J. Moore, Pamela Surko

Browse the full POPL paper archive.