Automatically Inferring Quantified Loop Invariants by Algorithmic Learning from Simple Templates

Please use this identifier to cite or link to this item: http://ir.sinica.edu.tw/handle/201000000A/39004

Title:	Automatically Inferring Quantified Loop Invariants by Algorithmic Learning from Simple Templates
Authors:	Soonho Kong Yungbum Jung Cristina David Bow-Yaw Wang Kwangkeun Yi
Issue Date:	2010-12
Conference:	Asian Symposium on Programming Languages and Systems (Shanghai, China)
URI:	http://ir.sinica.edu.tw/handle/201000000A/39004
Appears in Collections:	資訊科學研究所

Show full item record

Check