Stack size reduction of recursive programs.

Stefan Schäckeler Weijia Shang

Published in: CASES (2007)

Keyphrases

recursive programs
program synthesis
transformation rules
machine learning
relational databases
data model
logic programs