Description

Book Synopsis
Introduction to abstract interpretation, with examples of applications to the semantics, specification, verification, and static analysis of computer programs.

Formal methods are mathematically rigorous techniques for the specification, development, manipulation, and verification of safe, robust, and secure software and hardware systems. Abstract interpretation is a unifying theory of formal methods that proposes a general methodology for proving the correctness of computing systems, based on their semantics. The concepts of abstract interpretation underlie such software tools as compilers, type systems, and security protocol analyzers. This book provides an introduction to the theory and practice of abstract interpretation, offering examples of applications to semantics, specification, verification, and static analysis of programming languages with emphasis on calculational design.

The book covers all necessary computer science and mathematical concepts--includ

Principles of Abstract Interpretation

    Product form

    A Hardback by Patrick Cousot

    £999.99

    Includes FREE delivery

    Out of stock

      Trusted by thousands of customers. See 2,385+ Customer Reviews

      View other formats and editions of Principles of Abstract Interpretation by Patrick Cousot

      Book details

      Publisher MIT Press Ltd
      Published 21 September 2021
      ISBN-13 9780262044905
      978-0262044905
      ISBN-10 0262044900
      Also in:
      Computer programming / software engineering

      Description

      Book Synopsis
      Introduction to abstract interpretation, with examples of applications to the semantics, specification, verification, and static analysis of computer programs.

      Formal methods are mathematically rigorous techniques for the specification, development, manipulation, and verification of safe, robust, and secure software and hardware systems. Abstract interpretation is a unifying theory of formal methods that proposes a general methodology for proving the correctness of computing systems, based on their semantics. The concepts of abstract interpretation underlie such software tools as compilers, type systems, and security protocol analyzers. This book provides an introduction to the theory and practice of abstract interpretation, offering examples of applications to semantics, specification, verification, and static analysis of programming languages with emphasis on calculational design.

      The book covers all necessary computer science and mathematical concepts--includ

      Recently viewed products

      © 2026 Book Curl

        • American Express
        • Apple Pay
        • Diners Club
        • Discover
        • Google Pay
        • Maestro
        • Mastercard
        • PayPal
        • Shop Pay
        • Union Pay
        • Visa

        Login

        Forgot your password?

        Don't have an account yet?
        Create account