Login / Signup
CPArec: Verifying Recursive Programs via Source-to-Source Program Transformation - (Competition Contribution).
Yu-Fang Chen
Chiao Hsieh
Ming-Hsien Tsai
Bow-Yaw Wang
Farn Wang
Published in:
TACAS (2015)
Keyphrases
</>
recursive programs
machine learning
relational databases
program synthesis
data streams
knowledge representation
life cycle
transformation rules