Sign in

Type-changing rewriting and semantics-preserving transformation.

Sean LeatherJohan JeuringAndres LöhBram Schuur
Published in: Sci. Comput. Program. (2015)
Keyphrases
  • transformation rules
  • database query languages
  • formal semantics
  • semantic information
  • type checking
  • rewriting rules
  • database
  • logic programming