Supplemental Material
Available for Download
- 1 G. L. Burn, C. Hankin, and S. Abramsky. Strictness Analysis for Higher-Order Functions. Science of Computer Programming, 7:249{278, 1986.Google Scholar
- 2 P. Cousot and R. Cousot. Abstract Interpretation: a Uni~ed Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints. In Proc. 4th POPL, pages 238{252. ACM Press, 1977. Google Scholar
- 3 P. Cousot and R. Cousot. Systematic Design of Program Analysis Frameworks. In Proc. 6th POPL, pages 269{282. ACM Press, 1979. Google Scholar
- 4 S. Jagannathan and S. Weeks. A uni~ed treatment of ow analysis in higher-order languages. In Proc. POPL '95, pages 393{407. ACM Press, 1995. Google Scholar
- 5 N. D. Jones and F. Nielson. Abstract Interpretation: a Semantics-Based Tool for Program Analysis. In Handbook of Logic in Computer Science vol. 4. Oxford University Press, 1995. Google Scholar
- 6 P. Jouvelot and D. K. Gi~ord. Algebraic reconstruction of types and e~ects. In Proc. POPL '90, pages 303{310. ACM Press, 1990. Google Scholar
- 7 H. R. Nielson and F. Nielson. Higher-Order Concurrent Programs with Finite Communication Topology. InProc. POPL '94, pages 84{97. ACM Press, 1994. Google Scholar
- 8 F. Nielson and H.R. Nielson. In~nitary Control Flow Analysis: A Collecting Semantics for Closure Analysis. To appear in Proc. POPL '97. ACM Press, 1997. Google Scholar
Recommendations
Experimental program analysis: a new paradigm for program analysis
ICSE '06: Proceedings of the 28th international conference on Software engineeringProgram analysis techniques are used by software engineers to deduce and infer targeted characteristics of software systems for tasks such as testing, debugging, maintenance, and program comprehension. Recently, some program analysis techniques have ...
Adaptive Online Program Analysis
ICSE '07: Proceedings of the 29th international conference on Software EngineeringAnalyzing a program run can provide important insights about its correctness. Dynamic analysis of complex correctness properties, however, usually results in significant run-time overhead and, consequently, it is rarely used in practice. In this paper, ...
Experimental program analysis
Program analysis techniques are used by software engineers to deduce and infer characteristics of software systems. Recent research has suggested that certain program analysis techniques can be formulated as formal experiments. This article reports the ...
Comments