Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
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
Copyright © 2012-2023 easychair.org. All rights reserved.