Home
Explore Uedu
Student Console
Register as Member/Login
(2) In future presentations of the research findings, in addition to the course project website and public presentations, your real name and personal information will not appear in this research report. If you are interested in the research results, we can provide you with an executive summary after the study is completed.
問卷中心
UeduGPTs
Aida 優學伴
Agentic AI
本地 AI
找指導老師
論文閱讀
Uedu Note
Uedu Open
Uedu Jupyter
語言學習
Lingua Writing
我的寫作歷程
認知組學測驗工具箱
Uedu Finance 優財經
Uedu 跨域通識
Uedu Physics 優物理
Uedu Calculus 優微積分
Uedu Biology 優生物
Uedu Chemistry 優化學
Uedu Electronics 優電子
Uedu Semiconductor 優半導體
Uedu AI 優智慧
Uedu Statistics 優統計
Uedu UAV 優無人機
教材庫
文學館
Taiwan: Four Hundred Years
Uedu Science 科學實驗室
Teacher Console
Course Setup
Support & Messages
Uptime Data

UeduGPTs

--

Jupyters

0

Local AI

--

CISOSE26 本地 AI UG26
政治大學 AQI 15 29°C

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
前往原始課程
CC BY-NC-SA 4.0
課程簡介
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 開放式課程
科系Electrical Engineering and Computer Science
LanguageEnglish
影片數0
課程影片 (0)
此課程尚無影片資料
前往原始課程頁面查看