Search Sciweavers | Sciweavers

71

CAV
2009
Springer

141views Hardware» more CAV 2009»

Apron: A Library of Numerical Abstract Domains for Static Analysis

15 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 »

58

click to vote

CORR
2008
Springer

73views Education» more CORR 2008»

Regularities of the distribution of abstract van der Corput sequences

14 years 9 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 »

56

click to vote

ENTCS
2008

89views more ENTCS 2008»

Relational Analysis and Precision via Probabilistic Abstract Interpretation

14 years 9 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 »

61

Voted

VMCAI
2010
Springer

138views Software Engineering» more VMCAI 2010»

Automatic Abstraction for Congruences

15 years 6 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 »

64

click to vote

CIE
2006
Springer

74views Applied Computing» more CIE 2006»

Reversible Conservative Rational Abstract Geometrical Computation Is Turing-Universal

15 years 1 months ago