Login / Signup

CPArec: Verifying Recursive Programs via Source-to-Source Program Transformation - (Competition Contribution).

Yu-Fang ChenChiao HsiehMing-Hsien TsaiBow-Yaw WangFarn Wang
Published in: TACAS (2015)
Keyphrases
  • recursive programs
  • machine learning
  • relational databases
  • program synthesis
  • data streams
  • knowledge representation
  • life cycle
  • transformation rules