Search Sciweavers | Sciweavers

21

CAV
2009
Springer

141views Hardware» more CAV 2009»

Apron: A Library of Numerical Abstract Domains for Static Analysis

14 years 10 months ago

Library of Numerical Abstract Domains for Static Analysis Bertrand Jeannet1 and Antoine Min?e2 1 INRIA Rh^one-Alpes, Grenoble, France, Bertrand.Jeannet@inrialpes.fr 2 CNRS, ?Ecole ...

Antoine Miné, Bertrand Jeannet

claim paper

Read More »

20

click to vote

CORR
2008
Springer

73views Education» more CORR 2008»

Regularities of the distribution of abstract van der Corput sequences

13 years 10 months ago

Download www.liafa.jussieu.fr

TIES OF THE DISTRIBUTION OF ABSTRACT VAN DER CORPUT SEQUENCES WOLFGANG STEINER Abstract. Similarly to -adic van der Corput sequences, abstract van der Corput secan be defined by ab...

Wolfgang Steiner

claim paper

Read More »

21

click to vote

ENTCS
2008

89views more ENTCS 2008»

Relational Analysis and Precision via Probabilistic Abstract Interpretation

13 years 10 months ago

Download www.irisa.fr

istic Abstract Interpretation Alessandra Di Pierro1 Pascal Sotin2 Herbert Wiklicky3 Within the context of a quantitative generalisation of the well established framework of Abstra...

Alessandra Di Pierro, Pascal Sotin, Herbert Wiklic...

claim paper

Read More »

23

click to vote

VMCAI
2010
Springer

138views Software Engineering» more VMCAI 2010»

Automatic Abstraction for Congruences

14 years 7 months ago

Download www.cs.kent.ac.uk

c Abstraction for Congruences A Story of Beauty and the Beast Andy King and Harald S?ndergaard Portcullis Computer Security University of Melbourne g and Harald S?ndergaard Automat...

Andy King, Harald Søndergaard

claim paper

Read More »

26

click to vote

CIE
2006
Springer

74views Applied Computing» more CIE 2006»

Reversible Conservative Rational Abstract Geometrical Computation Is Turing-Universal

14 years 1 months ago