Principles of abstract interpretation / Patrick Cousot

Englisch

Cambridge, Massachusetts ; London,England : The MIT Press, [2021]

© 2021

ix, 819 Seiten : Diagramme

Literaturverzeichnis: Seiten 725-777

Erscheint auch als: Online-Ausgabe- Cousot, Patrick: Principles of abstract interpretation. - Cambridge, Massachusetts : The MIT Press, 2021. - 1 Online-Ressource

978-0-262-04490-5

*Semantic Computing / Abstrakter Datentyp

*Abstrakter Datentyp / Vagheit

*Semantic computing ; Abstract data types (Computer science)

Klassifikation der Library of Congress: QA76.5913

Dewey Dezimal-Klassifikation: 006

"An introduction to the theory and practice of abstract interpretation, with applications to the semantics, specification, verification, and static analysis of computer programs"

Potsdamer Straße

BIBTEX - ENDNOTE - RIS