Tài liệu tham khảo |
Loại |
Chi tiết |
[1] M. Sagiv, T. Reps, and R. Wilhelm. Parametric shape analysis via 3- valued logic. ACM Transactions on Programming Languages and Systems (TOPLAS), 24(3):217–298, 2002 |
Sách, tạp chí |
Tiêu đề: |
Parametric shape analysis via 3-valued logic |
Tác giả: |
M. Sagiv, T. Reps, R. Wilhelm |
Nhà XB: |
ACM Transactions on Programming Languages and Systems (TOPLAS) |
Năm: |
2002 |
|
[3] Patrick Cousot, Jer C.Hunsaker. An informal overview of abstract interpretation. Massachusetts Institute of Technology Department of Aeronautics Astronautics, Course 16.399, 2005 |
Sách, tạp chí |
Tiêu đề: |
An informal overview of abstract interpretation |
Tác giả: |
Patrick Cousot, Jer C.Hunsaker |
Nhà XB: |
Massachusetts Institute of Technology Department of Aeronautics Astronautics |
Năm: |
2005 |
|
[4] Patrick Cousot, Radhia Cousot. Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints. Conference Record of the Fourth ACM Symposium on Principles of Programming Languages, Los Angeles, California, USA, January 1977. ACM, 1977, pp. 238-252 |
Sách, tạp chí |
Tiêu đề: |
Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints |
Tác giả: |
Patrick Cousot, Radhia Cousot |
Nhà XB: |
ACM |
Năm: |
1977 |
|
[5] Patrick Cousot, Radhia Cousot. Basic concepts of abstract interpretation, Web page maintained by P. Cousot, 2004 |
Sách, tạp chí |
Tiêu đề: |
Basic concepts of abstract interpretation |
Tác giả: |
Patrick Cousot, Radhia Cousot |
Nhà XB: |
Web page maintained by P. Cousot |
Năm: |
2004 |
|
[6] Patrick Cousot, Radhia Cousot. Comapring the Galois Connection and Widening / Narrowing Approaches to Abstract Interpretation. In Maurice Bruynooghe and Martin Wirsing. Proc. 4th Int. Symp. on Programming Language Implementation and Logic Programming (PLILP). LNCS 631. Springer. pp. 269–296, 1992 |
Sách, tạp chí |
Tiêu đề: |
Comparing the Galois Connection and Widening / Narrowing Approaches to Abstract Interpretation |
Tác giả: |
Patrick Cousot, Radhia Cousot |
Nhà XB: |
Springer |
Năm: |
1992 |
|
[7] Patrick Cousot. Abstract Interpretation Based Formal Methods and Future Challenges. In Informatics, 10 Years Back — 10 Years Ahead, R. Wilhelm (Ed.), Lecture Notes in Computer Science 2000, Springer, pp. 138–156, 2001 |
Sách, tạp chí |
Tiêu đề: |
Informatics, 10 Years Back — 10 Years Ahead |
Tác giả: |
Patrick Cousot |
Nhà XB: |
Springer |
Năm: |
2001 |
|
[9] Patrick Cousot. Constructive Design of a Hierarchy of Semantics of a Transition System by Abstract Interpretation. In Electronic Notes in Theoretical Computer Science, Volume 6, 1997 |
Sách, tạp chí |
Tiêu đề: |
Constructive Design of a Hierarchy of Semantics of a Transition System by Abstract Interpretation |
Tác giả: |
Patrick Cousot |
Nhà XB: |
Electronic Notes in Theoretical Computer Science |
Năm: |
1997 |
|
[11] Roberto Giacobazzi (Università di Verona, Italie), Nicolas Halbwachs (Vérimag, France), Manuel Hermenegildo (IMDEA Software Institute &Technical University of Madrid, Espagne). Static analysis by abstract interpretation of concurrent programs, 2013 |
Sách, tạp chí |
Tiêu đề: |
Static analysis by abstract interpretation of concurrent programs |
Tác giả: |
Roberto Giacobazzi, Nicolas Halbwachs, Manuel Hermenegildo |
Năm: |
2013 |
|
[12] Steve S.Muchnick, Patrick Cousot. Semantic Foundations of Program Analysis. In Program Flow Analysis: Theory and Applications. Prentice- Hall, Inc., Englewood Cliffs, New Jersey, U.S.A., 1981 |
Sách, tạp chí |
Tiêu đề: |
Program Flow Analysis: Theory and Applications |
Tác giả: |
Steve S.Muchnick, Patrick Cousot |
Nhà XB: |
Prentice-Hall, Inc. |
Năm: |
1981 |
|
[2] Michael I. Schwartzbach. Lecture Notes on Static Analysis. BRICS, Department of Computer Science University of Aarhus, Denmark 2009 |
Khác |
|
[10] Patrick Cousot. Partial Completeness of Abstract Fixpoint Checking. Lecture Notes in Computer Science Volume 1864. Springer Berlin Heidelberg, 2000, pp 1-25 |
Khác |
|
[13] T. Lev-Ami and M. Sagiv. Tvla: A framework for kleene logic based static analyses. Master’s thesis, Tel Aviv University, 2000 |
Khác |
|