Introduction to Static Analysis: An Abstract Interpretation Perspective
71,01 €
Static program analysis, or static analysis, aims to discover semantic properties of programs without running them. "This book introduces static analysis from the perspective of abstract interpretation.
Jetzt bei Ebay:
