Generating precise and concise procedure summaries.

Greta Yorsh, Eran Yahav, Satish Chandra

Browse the full POPL paper archive.