Map
Index
Random
Help
th

Quote: limitations of safety check -- does not work for local arrays, multiple array-typed fields, array references, subclasses, non-linear constraints

topics > all references > references t-z > QuoteRef: xuZ6_2000 , p. 79



Topic:
flavor analysis and typestates for supplementary type checking

Quotation Skeleton

Our current approach has three major limitations. First, … … Similarly, for structures that have multiple array-typed fields, … address this limitation, a forward pass [could be used] … Second, our analysis may lose precision due to … We believe that dependence-analysis … [can] address this limitation. Third, the type system … subtyping for structures and pointers. This can cause … [p. 81] The main limitation of our technique is … Third, the induction-iteration method itself is incomplete even … [It] cannot prove the correctness of array accesses in a loop …   Google-1   Google-2

Copyright clearance needed for quotation.

Additional Titles

Quote: induction-iteration for typestate, safety checking can not detect array errors if correctness depends on values outside of the loop

Related Topics up

Topic: flavor analysis and typestates for supplementary type checking (68 items)

Copyright © 2002-2008 by C. Bradford Barber. All rights reserved.
Thesa is a trademark of C. Bradford Barber.