Login / Signup

Program Transformation Templates for Tupling Based on Term Rewriting.

Yuki ChibaTakahito AotoYoshihito Toyama
Published in: IEICE Trans. Inf. Syst. (2010)
Keyphrases
  • term rewriting
  • theorem prover
  • theorem proving
  • operational semantics
  • rewrite systems
  • knuth bendix
  • first order logic
  • computer programs
  • databases
  • computational intelligence
  • test cases
  • inference rules
  • static analysis