Searching for Monads : 2 results found | RSS Feed for this search

6.820 Fundamentals of Program Analysis (MIT) 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. 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.

Subjects

program analysis | program analysis | Lambda Calculus | Lambda Calculus | Semantics | Semantics | λlet calculus | λlet calculus | Hindley-Milner type inference | Hindley-Milner type inference | Monads | Monads | Axiomatic Semantics | Axiomatic Semantics | Dataflow Analysis | Dataflow Analysis | Type Checking | Type Checking | Abstract Interpretation | Abstract Interpretation | Model Checking | Model Checking

License

Content within individual OCW courses is (c) by the individual authors unless otherwise noted. MIT OpenCourseWare materials are licensed by the Massachusetts Institute of Technology under a Creative Commons License (Attribution-NonCommercial-ShareAlike). For further information see http://ocw.mit.edu/terms/index.htm

Site sourced from

http://ocw.mit.edu/rss/all/mit-allcourses-6.xml

Attribution

Click to get HTML | Click to get attribution | Click to get URL

All metadata

See all metadata

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.

Subjects

program analysis | Lambda Calculus | Semantics | ?let calculus | Hindley-Milner type inference | Monads | Axiomatic Semantics | Dataflow Analysis | Type Checking | Abstract Interpretation | Model Checking

License

Content within individual OCW courses is (c) by the individual authors unless otherwise noted. MIT OpenCourseWare materials are licensed by the Massachusetts Institute of Technology under a Creative Commons License (Attribution-NonCommercial-ShareAlike). For further information see https://ocw.mit.edu/terms/index.htm

Site sourced from

https://ocw.mit.edu/rss/all/mit-allcourses.xml

Attribution

Click to get HTML | Click to get attribution | Click to get URL

All metadata

See all metadata