Please use this identifier to cite or link to this item: https://doi.org/10.1007/978-3-642-22110-1_53
Title: FixBag: A fixpoint calculator for quantified bag constraints
Authors: Pham, T.-H.
Trinh, M.-T.
Truong, A.-H.
Chin, W.-N. 
Issue Date: 2011
Source: Pham, T.-H.,Trinh, M.-T.,Truong, A.-H.,Chin, W.-N. (2011). FixBag: A fixpoint calculator for quantified bag constraints. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 6806 LNCS : 656-662. ScholarBank@NUS Repository. https://doi.org/10.1007/978-3-642-22110-1_53
Abstract: Abstract interpretation techniques have played a major role in advancing the state-of-the-art in program analysis. Traditionally, stand-alone tools for these techniques have been developed for the numerical domains which may be sufficient for lower levels of program correctness. To analyze a wider range of programs, we have developed a tool to compute symbolic fixpoints for quantified bag domain. This domain is useful for programs that deal with collections of values. Our tool is able to derive both loop invariants and method pre/post conditions via fixpoint analysis of recursive bag constraints. To support better precision, we have allowed disjunctive formulae to be inferred, where appropriate. As a stand-alone tool, we have tested it on a range of small but challenging examples with acceptable precision and performance. © 2011 Springer-Verlag.
Source Title: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
URI: http://scholarbank.nus.edu.sg/handle/10635/42074
ISBN: 9783642221095
ISSN: 03029743
DOI: 10.1007/978-3-642-22110-1_53
Appears in Collections:Staff Publications

Show full item record
Files in This Item:
There are no files associated with this item.

SCOPUSTM   
Citations

9
checked on Dec 13, 2017

Page view(s)

47
checked on Dec 9, 2017

Google ScholarTM

Check

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.