Semantics and Correctness of a Query Language Translation

E. Gansner, Joseph R. Horgan, Chandra M. R. Kintala, D. J. Moore, P. Surko. Semantics and Correctness of a Query Language Translation. In POPL. pages 289-298, 1982.

Abstract

Abstract is missing.