Loop invariant synthesis in a combined abstract domain

10.1016/j.jsc.2012.08.007

Saved in:

Bibliographic Details
Main Authors:	Qin, S., He, G., Luo, C., Chin, W.-N., Chen, X.
Other Authors:	COMPUTER SCIENCE
Format:	Article
Published:	2013
Subjects:	Abstraction Combining analysis Fixpoint analysis Loop invariant Numerical analysis Separation logic Shape analysis
Online Access:	http://scholarbank.nus.edu.sg/handle/10635/39613
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	National University of Singapore

id	sg-nus-scholar.10635-39613
record_format	dspace
spelling	sg-nus-scholar.10635-396132023-10-25T20:30:19Z Loop invariant synthesis in a combined abstract domain Qin, S. He, G. Luo, C. Chin, W.-N. Chen, X. COMPUTER SCIENCE Abstraction Combining analysis Fixpoint analysis Loop invariant Numerical analysis Separation logic Shape analysis 10.1016/j.jsc.2012.08.007 Journal of Symbolic Computation 50 386-408 2013-07-04T07:45:35Z 2013-07-04T07:45:35Z 2013 Article Qin, S., He, G., Luo, C., Chin, W.-N., Chen, X. (2013). Loop invariant synthesis in a combined abstract domain. Journal of Symbolic Computation 50 : 386-408. ScholarBank@NUS Repository. https://doi.org/10.1016/j.jsc.2012.08.007 07477171 http://scholarbank.nus.edu.sg/handle/10635/39613 000312574000022 Scopus
institution	National University of Singapore
building	NUS Library
continent	Asia
country	Singapore Singapore
content_provider	NUS Library
collection	ScholarBank@NUS
topic	Abstraction Combining analysis Fixpoint analysis Loop invariant Numerical analysis Separation logic Shape analysis
spellingShingle	Abstraction Combining analysis Fixpoint analysis Loop invariant Numerical analysis Separation logic Shape analysis Qin, S. He, G. Luo, C. Chin, W.-N. Chen, X. Loop invariant synthesis in a combined abstract domain
description	10.1016/j.jsc.2012.08.007
author2	COMPUTER SCIENCE
author_facet	COMPUTER SCIENCE Qin, S. He, G. Luo, C. Chin, W.-N. Chen, X.
format	Article
author	Qin, S. He, G. Luo, C. Chin, W.-N. Chen, X.
author_sort	Qin, S.
title	Loop invariant synthesis in a combined abstract domain
title_short	Loop invariant synthesis in a combined abstract domain
title_full	Loop invariant synthesis in a combined abstract domain
title_fullStr	Loop invariant synthesis in a combined abstract domain
title_full_unstemmed	Loop invariant synthesis in a combined abstract domain
title_sort	loop invariant synthesis in a combined abstract domain
publishDate	2013
url	http://scholarbank.nus.edu.sg/handle/10635/39613
_version_	1781411037603430400

Loop invariant synthesis in a combined abstract domain

Similar Items