Вы здесь

Главная

Ecole Polytechnique

Связанные издания:

Abstract Interpretation and Application to Logic Programs
Abstract Interpretation Framework
Analyse semantique des congruences d intervalles
Analyses Semantiques de Congruence
EMiLiA: An experimental semantic analyzer of dynamic data structures
Improving the Result of Static Analyses of Programs by Logical Decreasing Iterations
Inductive Definitions, Semantics and Abstract Interpretation
Static Analysis of Linear Congruence Equalities among Variables of a Program