skip to main content
news

A galois connection calculus for abstract interpretation

Published:08 January 2014Publication History
Skip Abstract Section

Abstract

We introduce a Galois connection calculus for language independent specification of abstract interpretations used in programming language semantics, formal verification, and static analysis. This Galois connection calculus and its type system are typed by abstract interpretation.

Skip Supplemental Material Section

Supplemental Material

d1_left_t3.mp4

References

  1. B. Blanchet, P. Cousot, R. Cousot, J. Feret, L. Mauborgne, A. Miné, D. Monniaux, and X. Rival. A static analyzer for large safety-critical software. PLDI'03, 196--207. Google ScholarGoogle ScholarDigital LibraryDigital Library
  2. P. Cousot. Types as abstract interpretations. POPL'97, 316--331. Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. P. Cousot and R. Cousot. Static determination of dynamic properties of programs. Proc. 2nd Int. Symp. on Programming, 106--130, Paris, 1976. Dunod.Google ScholarGoogle Scholar
  4. P. Cousot and R. Cousot. Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints. POPL'77, 238--252. Google ScholarGoogle ScholarDigital LibraryDigital Library
  5. P. Cousot and R. Cousot. Static determination of dynamic properties of recursive procedures. IFIP Conf. on Formal Description of Programming Concepts, St-Andrews, N.B., CN, 237--277. North-Holland Pub. Co., 1977.Google ScholarGoogle Scholar
  6. P. Cousot and R. Cousot. Systematic design of program analysis frameworks. POPL'79, 269--282. Google ScholarGoogle ScholarDigital LibraryDigital Library
  7. P. Cousot and R. Cousot. Abstract interpretation frameworks. J. Logic and Comp., 2(4):511--547, 1992.Google ScholarGoogle ScholarCross RefCross Ref
  8. P. Cousot and R. Cousot. Comparing the Galois connection and widening/narrowing approaches to abstract interpretation. PLILP'92, LNCS 631, 269--295. Google ScholarGoogle ScholarDigital LibraryDigital Library
  9. P. Cousot and R. Cousot. Inductive definitions, semantics and abstract interpretation. POPL'92, 83--94. Google ScholarGoogle ScholarDigital LibraryDigital Library
  10. P. Cousot and R. Cousot. Temporal abstract interpretation. POPL'00, 12--25. Google ScholarGoogle ScholarDigital LibraryDigital Library
  11. P. Cousot and R. Cousot. Systematic design of program transformation frameworks by abstract interpretation. POPL'02, 178--190. Google ScholarGoogle ScholarDigital LibraryDigital Library
  12. P. Cousot and R. Cousot. An abstract interpretation-based framework for software watermarking. POPL'04, 173--185. Google ScholarGoogle ScholarDigital LibraryDigital Library
  13. P. Cousot and R. Cousot. An abstract interpretation framework for termination. POPL'12, 245--258. Google ScholarGoogle ScholarDigital LibraryDigital Library
  14. P. Cousot, R. Cousot, and F. Logozzo. A parametric segmentation functor for fully automatic and scalable array content analysis. POPL'11, 105--118. Google ScholarGoogle ScholarDigital LibraryDigital Library
  15. P. Cousot and N. Halbwachs. Automatic discovery of linear restraints among variables of a program. POPL'78, 84--96. Google ScholarGoogle ScholarDigital LibraryDigital Library

Index Terms

  1. A galois connection calculus for abstract interpretation

            Recommendations

            Comments

            Login options

            Check if you have access through your login credentials or your institution to get full access on this article.

            Sign in

            Full Access

            • Published in

              cover image ACM SIGPLAN Notices
              ACM SIGPLAN Notices  Volume 49, Issue 1
              POPL '14
              January 2014
              661 pages
              ISSN:0362-1340
              EISSN:1558-1160
              DOI:10.1145/2578855
              Issue’s Table of Contents
              • cover image ACM Conferences
                POPL '14: Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
                January 2014
                702 pages
                ISBN:9781450325448
                DOI:10.1145/2535838

              Copyright © 2014 Owner/Author

              Publisher

              Association for Computing Machinery

              New York, NY, United States

              Publication History

              • Published: 8 January 2014

              Check for updates

              Qualifiers

              • news

            PDF Format

            View or Download as a PDF file.

            PDF

            eReader

            View online with eReader.

            eReader
            About Cookies On This Site

            We use cookies to ensure that we give you the best experience on our website.

            Learn more

            Got it!