Keyword:abstract interpretation

Papers
Combination of Boxes and PolyhedraAbstractions for Constraint Solving Ghiles Ziat, Alexandre Maréchal, Marie Pelleau, Antoine Miné and Charlotte Truchet EasyChair Preprint no. 1906
Verifying Numerical Programs via Iterative Abstract Testing Banghu Yin, Liqian Chen, Jiangchao Liu, Ji Wang and Patrick Cousot EasyChair Preprint no. 1749
Syntactic and Semantic Soundness of Structural Dataflow Analysis Patrick Cousot EasyChair Preprint no. 1645
An abstract domain for objects in dynamic programming languages Vincenzo Arceri, Michele Pasqua and Isabella Mastroeni EasyChair Preprint no. 1501
Analyzing JavaScript Programs Using Octagon Domain Nabil Almashfi and Lunjin Lu In:Proceedings of 34th International Conference on Computers and Their Applications
Program Analysis is Harder than Verification: A Computability Perspective Patrick Cousot, Roberto Giacobazzi and Francesco Ranzato EasyChair Preprint no. 365
Abstract Interpretation with Infinitesimals: Towards Scalability in Nonstandard Static Analysis Kengo Kido, Swarat Chaudhuri and Ichiro Hasuo In:Symbolic and Numerical Methods for Reachability Analysis, 1st International Workshop, SNR 2015
Parametric Strategy Iteration Helmut Seidl, Thomas Martin Gawlitza and Martin Schwarz In:SCSS 2014. 6th International Symposium on Symbolic Computation in Software Science
Abstract Domains for Bit-Level Machine Integer and Floating-point Operations Antoine Miné In:ATx'12/WInG'12: Joint Proceedings of the Workshops on Automated Theory eXploration and on Invariant Generation
Abstract Interpretation over Zones without Widening Thomas Martin Gawlitza and Helmut Seidl In:WING 2010. Workshop on Invariant Generation 2010