Ranking Abstraction of Recursive Programs.

Ittai Balaban Ariel Cohen Amir Pnueli

Published in: VMCAI (2006)

Keyphrases

recursive programs
program synthesis
logic programs
transformation rules
high level
object oriented
artificial intelligence
data driven
data integration