search

aikin / thinking-listening-reading

记录那些听过和读过的文字。
1 stars 0 forks source link

Program Analysis #104

Open aikin opened 5 years ago

aikin commented 5 years ago

从静态分析到动态分析，从预言到应验。

分析计算机程序的行为

aikin commented 5 years ago

semantic 使用 纯函数式Haskell 程序分析库

纯 Haskell ！！！

aikin commented 5 years ago

Program Analysis

Data Flow Analysis, Constraint Based Analysis, Abstract Interpretation, Type And Effect System