scientific article; zbMATH DE number 1390341

zbMath0945.68032MaRDI QIDQ4934630

Patrick Cousot

Publication date: 17 January 2000

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

imperative programming languagegeneric abstract interpreter

Mathematics Subject Classification ID

Theory of programming languages (68N15) Theory of compilers and interpreters (68N20)

Related Items

Why does Astrée scale up?, Certified Static Analysis by Abstract Interpretation, The octagon abstract domain, Proof-carrying code from certified abstract interpretation and fixpoint compression, Adversarial logic, Discovering invariants via simple component analysis, Transforming Abstract Interpretations by Abstract Interpretation, Control-flow analysis of function calls and returns by abstract interpretation, Grammar semantics, analysis and parsing by abstract interpretation, Galois Connections for Recursive Types, Maximal incompleteness as obfuscation potency, Pentagons: a weakly relational abstract domain for the efficient validation of array accesses, Constructive Galois Connections, Abstract interpretation of resolution-based semantics