Principles of Abstract Interpretation

Autor*innen

• Patrick Cousot

Parameter

• 816 Seiten
• 29 Lesestunden

• Computer & Internet
• Sachbücher
• Technologie & Industrie

Mehr zum Buch

Focusing on the theory and practice of abstract interpretation, this book explores its applications in semantics, specification, verification, and static analysis of computer programs. It provides a comprehensive introduction to the concepts and methodologies that underpin abstract interpretation, making it a valuable resource for understanding how to analyze and verify software effectively.

• Sprache: Englisch
• Erscheinungsdatum: 2021
• Einband: Hardcover