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: Semantics With Applications: A Formal IntroductionSemantics With Applications: A Formal Introduction
by - John Wiley & Sons
The book covers the foundations of structural operational semantics and natural semantics. It shows how to describe the semantics of declarative as well as imperative language constructs and will also touch upon non-sequential constructs.
(7942 views)
Book cover: Principles of Programming LanguagesPrinciples of Programming Languages
by - Ben-Gurion University of the Negev
This course is about building computational processes. We need computational processes for computing functions. The means for performing computational processes are programs. The emphasis is on programming languages and their properties.
(16515 views)
Book cover: Formal Syntax and Semantics of Programming LanguagesFormal Syntax and Semantics of Programming Languages
by - Addison Wesley Longman
The book presents the typically difficult subject of formal methods in an informal, easy-to-follow manner. Readers with a basic grounding in discreet mathematics will be able to understand the practical applications of these difficult concepts.
(10563 views)
Book cover: Compositional SemanticsCompositional Semantics
by - UMass Amherst
Contents: Basic Categorial Syntax; Shortcomings of Standard Categorial Syntax; Expanded Categorial Syntax; Examples of Expanded Categorial Syntax; Categorial Logic; Basic Categorial Semantics; Lambda-Abstraction; Expanded Categorial Semantics; etc.
(8955 views)