Search Sciweavers | Sciweavers

31387 search results - page 338 / 6278

» Abstracting abstract machines

click to vote

JAIR
2008

82views more JAIR 2008»

A General Theory of Additive State Space Abstractions

15 years 6 months ago

Download www.aaai.org

Fan Yang, Joseph C. Culberson, Robert Holte, Uzi Z...

claim paper

Read More »

133

click to vote

CORR
2007
Springer

94views Education» more CORR 2007»

Some Issues on Incremental Abstraction-Carrying Code

15 years 6 months ago

Download clip.dia.fi.upm.es

Elvira Albert, Puri Arenas, Germán Puebla

claim paper

Read More »

click to vote

CORR
2007
Springer

90views Education» more CORR 2007»

Predicate Abstraction with Under-approximation Refinement

15 years 6 months ago

Download www.cs.sun.ac.za

Corina S. Pasareanu, Radek Pelánek, Willem ...

claim paper

Read More »

130

click to vote

CORR
2007
Springer

97views Education» more CORR 2007»

A Few Graph-Based Relational Numerical Abstract Domains

15 years 6 months ago

Download www.di.ens.fr

Antoine Miné

claim paper

Read More »

click to vote

CORR
2007
Springer

84views Education» more CORR 2007»

Symbolic Methods to Enhance the Precision of Numerical Abstract Domains

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers