Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference

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

Title:	Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference
Authors:	Wonchan Lee Yungbum Jung Bow-Yaw Wang Kwangkuen Yi
Issue Date:	2012-09
Relation:	Logical Methods in Computer Science 8(3:25)
URI:	http://ir.sinica.edu.tw/handle/201000000A/40703
ISSN:	http://gateway.isiknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=Drexel&SrcApp=hagerty_opac&KeyRecord=1860-5974&DestApp=JCR&RQ=IF_CAT_BOXPLOT
Appears in Collections:	資訊科學研究所

Show full item record

Check