Verifying Recursive Programs Using Intraprocedural Analyzers.

Yu-Fang Chen Chiao Hsieh Ming-Hsien Tsai Bow-Yaw Wang Farn Wang

Published in: SAS (2014)

Keyphrases

recursive programs
program synthesis
logic programs
transformation rules
logic programming
data mining
case study
domain knowledge
information extraction
data driven
background knowledge
inductive logic programming