Logo

Lecture Notes on Static Analysis

Small book cover: Lecture Notes on Static Analysis

Lecture Notes on Static Analysis
by

Publisher: IT University of Copenhagen
Number of pages: 58

Description:
These notes present principles and applications of static analysis of programs. We cover type analysis, lattice theory, control flow graphs, dataflow analysis, fixed-point algorithms, narrowing and widening, inter-procedural analysis, control flow analysis, and pointer analysis.

Home page url

Download or read it online for free here:
Download link
(360KB, PDF)

Similar books

Book cover: A Practical Theory of ProgrammingA Practical Theory of Programming
by - Springer
Understanding programming languages requires knowledge of the underlying theoretical model. This book explores aspects of programming that are amenable to mathematical proof. It describes a simple and comprehensive theory.
(8968 views)
Book cover: Topics in History and Comparing Programming LanguagesTopics in History and Comparing Programming Languages
by - Gavilan College
This website contains files on the history of computer programming language statements. The files compare programming language statements in several different languages tracing the statement from early languages to present languages.
(2416 views)
Book cover: Implementing Functional Languages: a tutorialImplementing Functional Languages: a tutorial
by - Prentice Hall
This book gives a practical approach to understanding implementations of non-strict functional languages using lazy graph reduction. It is intended to be a source of practical material, to help make functional-language implementations come alive.
(7459 views)
Book cover: Semantics of Programming LanguagesSemantics of Programming Languages
by - University of Cambridge
These notes introduce the structural, operational approach to programming language semantics. The course shows how to specify the meaning of some simple programming language constructs and to reason formally about semantic properties of programs.
(3266 views)