Type-changing rewriting and semantics-preserving transformation.

Sean Leather Johan Jeuring Andres Löh Bram Schuur

Published in: Sci. Comput. Program. (2015)

Keyphrases

transformation rules
database query languages
formal semantics
semantic information
type checking
rewriting rules
database
logic programming