Electronic Notes in Theoretical Computer Science, Volume 267
Volume 267, Number 1, October 2010
- Corinne Ancourt, Fabien Coelho, François Irigoin: A Modular Static Analysis Approach to Affine Loop Invariants Detection. 3-16
- Olivier Bouissou, Yassamine Seladji, Alexandre Chapoutot: Abstract Fixpoint Computations with Numerical Acceleration Methods. 29-42
- Jedrzej Fulara, Konrad Durnoga, Krzysztof Jakubczyk, Aleksy Schubert: Relational Abstract Domain of Weighted Hexagons. 59-72
- Eric Goubault, Stéphane Le Roux, Jeremy Leconte, Leo Liberti, Fabrizio Marinelli: Static Analysis by Abstract Interpretation: A Mathematical Programming Approach. 73-87
- Peter Schrammel, Bertrand Jeannet: Extending Abstract Acceleration Methods to Data-Flow Programs with Numerical Inputs. 101-114
- Axel Simon: A Note on the Inversion Join for Polyhedral Analysis. 115-126
- Axel Simon: Speeding up Polyhedral Analysis by Identifying Common Constraints. 127-138
Volume 267, Number 2, October 2010
- Paul Feautrier, Laure Gonnord: Accelerated Invariant Generation for C Programs with Aspic and C2fsm. 3-13
- Piotr Filipiuk, Hanne Riis Nielson, Flemming Nielson: Explicit Versus Symbolic Algorithms for Solving ALFP Constraints. 15-28
- Bertrand Jeannet: Some Experience on the Software Engineering of Abstract Interpretation Tools. 29-42
- Cosimo Laneve, Tudor A. Lascu, Vania Sordoni: The Interval Analysis of Multilinear Expressions. 43-53
- Pierre Roux, Remi Delmas, Pierre-Loïc Garoche: SMT-AI: an Abstract Interpreter as Oracle for k-induction. 55-68
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-17T202759 by the dblp team