Visit this resource

Title : 6.820 Fundamentals of Program Analysis (MIT)

Title : 6.820 Fundamentals of Program Analysis (MIT)

Description : This course offers a comprehensive introduction to the field of program analysis. It covers some of the major forms of program analysis including Type Checking, Abstract Interpretation and Model Checking. For each of these, the course covers the underlying theories as well as modern techniques and applications.

Description : This course offers a comprehensive introduction to the field of program analysis. It covers some of the major forms of program analysis including Type Checking, Abstract Interpretation and Model Checking. For each of these, the course covers the underlying theories as well as modern techniques and applications.

Fromsemester : Fall

Fromsemester : Fall

Fromyear : 2015

Fromyear : 2015

Creator :

Creator :

Date : 2016-07-20T17:02:54+05:00

Date : 2016-07-20T17:02:54+05:00

Relation : 6.820

Relation : 6.820

Language : en-US

Language : en-US

Subject : program analysis

Subject : program analysis

Subject : Lambda Calculus

Subject : Lambda Calculus

Subject : Semantics

Subject : Semantics

Subject : λlet calculus

Subject : λlet calculus

Subject : Hindley-Milner type inference

Subject : Hindley-Milner type inference

Subject : Monads

Subject : Monads

Subject : Axiomatic Semantics

Subject : Axiomatic Semantics

Subject : Dataflow Analysis

Subject : Dataflow Analysis

Subject : Type Checking

Subject : Type Checking

Subject : Abstract Interpretation

Subject : Abstract Interpretation

Subject : Model Checking

Subject : Model Checking