サクサク読めて、アプリ限定の機能も多数!
トップへ戻る
ノーベル賞
www.di.ens.fr/~cousot
This introduction to static analysis by abstract interpretation has the objective of being simple, intuitive and informal. More technical introductions as well as bibliographic references are provided in [1,2,3]. A 30mn video (in French) can also be useful. 1. Concrete semantics of programs The concrete semantics of programs formalizes the set of all possible executions of this program in all pos
Abstract Interpretation Web page maintained by P. Cousot Last update: Aug 5, 2008 Contents 1 Introduction to Abstract Interpretation 2 What can be formalized by abstract interpretation? 2.1 Syntax 2.2 Semantics 2.3 Proofs 2.4 Static analysis 2.5 Data-flow Analysis 2.6 Control-flow Analysis 2.7 Types 2.8 Model-checking 2.9 Predicate abstraction 2.10 Counter-example-based refinement 2.11
このページを最初にブックマークしてみませんか?
『www.di.ens.fr』の新着エントリーを見る
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く