Supplemental Material
Available for Download
- 1 F. Bourdoncle, Abstract debugging of higher-order imperative languages, in Proceeding of the ACM SIGPLAN'93 Conf. on Programming Language Design and Implementation, 1993. 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 ~xpoints, in Proceedings 4 th ACM POPL, 1977, pp. 238-252. Google Scholar
- 3 E. Duesterwald, R. Gupta and M.-L. So~a, A demand-driven analyser for data ow testing at the integration level, in Proceedings 18 th Int. Conf. on Software Engineering, IEEE, 1996, pp. 575-584. Google Scholar
- 4 P. Fradet and D. Le M~etayer, Shape types, in Proceedings 24 th ACM POPL, 1997, to appear. Google Scholar
- 5 S. Horwitz and T. Reps, The use of program dependence graphs in software engineering, Proc. int. Conference on Software Engineering, ACM, pp. 392-411, 1992. Google Scholar
- 6 D. Jackson, Aspect: an economical bug-detector, in Proceedings of 13 th International Conference on Software Engineering, May 1994, pp. 13-22. Google Scholar
- 7 D. Le M~etayer, Software architecture styles as graph grammars, proc. ACM SIGSOFT'96 Symposium on the Foundations of Software Engineering, 1996, pp. 15-23. Google Scholar
- 8 M. Mizuno and D. Schmidt, A security ow control algorithm and its denotational semantics correctness proof, Formal Aspects of Computing, Vol. 5-3, 1992.Google Scholar
- 9 L. Osterweil, Using data- ow tools in software engineering, inProgram ow analysis: Theory and applications,S. Muchnick and N. Jones (Eds), Prentice-Hall software series, 1981, pp. 237-263.Google Scholar
- 10 B. Ste~en, Generating data ow analysis algorithms from modal speci~cations, Science of Computer Programming, Vol. 21, 1991, pp. 115-139. Google Scholar
Recommendations
Program analysis for software engineering: new applications, new requirements, new tools
In order to play a bigger role in software engineering tools, static analysis techniques must take into account the specific needs of this application area, in particular in terms of interaction with the user and scalability. This new perspective ...
Comments