Advertisement

Data dependences as abstract interpretations

  • Stanislav Tzolovski
Posters
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1302)

References

  1. 1.
    P. Cousot, Types as Abstract Interpretations, (invited paper), In Conference Record of the 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 15–17 January 1997, pages 316–331.Google Scholar
  2. 2.
    P. Cousot, and R. Cousot, Abstract Interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints, In 4th ACM Symposium on Principles of Programming Languages, 1977.Google Scholar
  3. 3.
    D. Maydan, and S. Amarasinghe, and A. Lam, Data Dependence and Data-Flow Analysis of Arrays, In Conference Record of the 5th Workshop on Languages and Compilers for Parallel Computing, 1992.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1997

Authors and Affiliations

  • Stanislav Tzolovski
    • 1
  1. 1.LIX, Ecole PolytechniqueFrance

Personalised recommendations