Types as abstract interpretations
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Systematic design of program analysis frameworks
POPL '79 Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Partial Completeness of Abstract Fixpoint Checking
SARA '02 Proceedings of the 4th International Symposium on Abstraction, Reformulation, and Approximation
A static analyzer for large safety-critical software
PLDI '03 Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation
Static determination of dynamic properties of generalized type unions
Proceedings of an ACM conference on Language design for reliable software
VMCAI'05 Proceedings of the 6th international conference on Verification, Model Checking, and Abstract Interpretation
ESOP'05 Proceedings of the 14th European conference on Programming Languages and Systems
The Verification Grand Challenge and Abstract Interpretation
Verified Software: Theories, Tools, Experiments
HybridFluctuat: A Static Analyzer of Numerical Programs within a Continuous Environment
CAV '09 Proceedings of the 21st International Conference on Computer Aided Verification
Algebra of systems: a metalanguage for model synthesis and evaluation
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
A hybrid denotational semantics for hybrid systems
ESOP'08/ETAPS'08 Proceedings of the Theory and practice of software, 17th European conference on Programming languages and systems
Automatic verification of control system implementations
EMSOFT '10 Proceedings of the tenth ACM international conference on Embedded software
An operational semantics for Simulink's simulation engine
Proceedings of the 13th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, Tools and Theory for Embedded Systems
CLSE: closed-loop symbolic execution
NFM'12 Proceedings of the 4th international conference on NASA Formal Methods
| Hi-index | 0.00 |
Abstract interpretation is a theory of effective abstraction and/or approximation of discrete mathematical structures as found in the semantics of programming languages, modelling program executions, hence program properties, at various levels of abstraction [3,7,8,10,12].