Learning Summaries of Recursive Functions.

Yu-Fang Chen, Bow-Yaw Wang, Kai-Chun Yang

Browse the full APSEC paper archive.