Author:
Seidl Helmut,Wilhelm Reinhard,Hack Sebastian
Publisher
Springer Berlin Heidelberg
Reference25 articles.
1. Paul Anderson, David Binkley, Genevieve Rosay, Tim Teitelbaum. Flow insensitive points-to sets. Information & Software Technology, 44(13):743–754, 2002.
2. Patrick Cousot, Radhia Cousot. Static Determination of Dynamic Properties of Programs. In 2nd Int. Symp. on Programming, pp. 106–130. Dunod, Paris, France, 1976.
3. Patrick Cousot, Radhia Cousot. Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints. In 4th ACM Symp. on Principles of Programming Languages (POPL), pp. 238–252, 1977.
4. Patrick Cousot, Nicolas Halbwachs. Automatic Discovery of Linear Restraints among Variables of a Program. In 5th ACM Symp. on Principles of Programming Languages (POPL), pp. 84–97, 1978.
5. Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest, Clif Stein. Introduction to Algorithms (Third Edition). MIT Press, 2009.