Home » Course Layouts » Free Course Layout Udemy
This course offers a comprehensive introduction to the field of program analysis.
0
1
English
English [CC]
FREE
- Learn basic syntax that can apply to any language.
- Learn what is a programming language and the basic concepts for beginners.
- Understand what is Javascript in it's truest form.
- Know the basic syntax of Javascript.
- Know some hidden quirks in Javascript.
Description
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.
Course content
-
- Introduction to Functional Programming and Types Unlimited
- Lambda Calculus Unlimited
- Big-Step vs. Small-Step Semantics and the λLet Calculus Unlimited
- Coq Crash Course (Examples in Operational Semantics) Unlimited
-
- Introduction to Simple Types Unlimited
- Hindley-Milner Type Inference and Polymorphic Types Unlimited
- Algebraic Data Types & Their Ingredients: Product, Sum, and Recursive Types Unlimited
- Type Classes and Subtyping Unlimited
- Monads Unlimited
- Typing of Imperative Programs Unlimited
- Verification of Complex Properties with Types: From Information Flow to Race Detection Unlimited
- Dataflow Analysis, Lattices, Fixed Points Unlimited
- Abstract Interpretation, Galois Connections Unlimited
- Abstract Interpretation, Galois Connections (cont.) Unlimited
- The Heap: Inferring Loop Invariants about Data Structure Shape Unlimited
Instructor
Massachusetts Institute of Technology
5
5
1
1916
1520
