Home
Explore Uedu
Student Console
Register as Member/Login
Research Informed Consent Center
Survey Center
Educational Big Data Challenge
UeduGPTs
Aida Learning Companion
Agentic AI
Local AI
Uedu Code
Find an Advisor
Paper Reading
Uedu Note
Uedu Open
Uedu Jupyter
Language Learning
Lingua Writing
My Writing History
Cognomics Test Toolkit
Uedu Finance
Uedu Interdisciplinary General Education
Uedu Physics
Uedu Calculus
Uedu Biology
Uedu Chemistry
Uedu Electronics
Uedu Semiconductor
Uedu AI
Uedu Statistics
Uedu UAV
Teaching Materials
Literature Hall
Taiwan: Four Hundred Years
Uedu Science
Course settings
Try a Scenario Task
Support & Messages
Uptime Data

UeduGPTs

--

Jupyters

4

Local AI

--

Uedu Code

--

CISOSE26 Local AI Uedu Code UG26
Taipei AQI 63 · Taichung AQI 77 · Tainan AQI 60 · Kaohsiung AQI 56
AI Reply Desktop Notifications

Show a desktop notification when the AI TA finishes replying

Chat Message Notifications

Notify me when classmates post messages in the forum

Sound notification

Play an alert sound whenever there is a new notification

More settings
Account settings Data privacy settings Research Informed Consent Form
Uedu Open / Fundamentals of Program Analysis
6.820

Fundamentals of Program Analysis

Prof. Armando Solar-Lezama | Fall 2015
Data Science, Analytics & Computer Technology Software Design and Engineering Computer Science Engineering
Go to original course
CC BY-NC-SA 4.0
Course introduction
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.
Course Information
SourceMIT 開放式課程
DepartmentElectrical Engineering and Computer Science
LanguageEnglish
Number of videos0
Course videos (0)
No video materials are available for this Course yet
Go to the original course page to view