| 
|
Quote: symbolic bounds analysis for static race detection, automatic parallelization, array bounds analysis, size of computed values; determines upper and lower bounds for array indices and pointers
Topic:
flavor analysis and typestates for supplementary type checking
Topic:
range checking
Quotation Skeleton
This article presents a novel framework for the … problem as a system of inequality constraints between … the linear program provides symbolic lower and upper … that each statement and procedure accesses. … Experimental results … show that the analysis can solve … static race detection, automatic parallelization, static detection of … to store computed values. Google-1 Google-2
Copyright clearance needed for quotation.
Topic: flavor analysis and typestates for supplementary type checking (68 items)
Topic: range checking (20 items)