Program Analysis

Program analysis, also known as static analysis, describes a whole field of techniques for the static (i.e. compile-time) analysis of programs.

Saved in:
Bibliographic Details
Published inConcrete Semantics pp. 143 - 178
Main Authors Klein, Gerwin, Nipkow, Tobias
Format Book Chapter
LanguageEnglish
Published Switzerland Springer International Publishing AG 2014
Springer International Publishing
Subjects
Boolean Expression
Computer programming / software development
Induction Hypothesis
Mathematical theory of computation
Program Analysis
Programming & scripting languages: general
Rule Induction
Sequential Composition
Online AccessGet full text
ISBN3319105418
9783319105413
DOI10.1007/978-3-319-10542-0_10

Cover

More Information
Summary:Program analysis, also known as static analysis, describes a whole field of techniques for the static (i.e. compile-time) analysis of programs.
ISBN:3319105418
9783319105413
DOI:10.1007/978-3-319-10542-0_10