Search Sciweavers | Sciweavers

2478 search results - page 8 / 496

» Quadtrees as an Abstract Domain

click to vote

ESOP
2004
Springer

97views Programming Languages» more ESOP 2004»

Relational Abstract Domains for the Detection of Floating-Point Run-Time Errors

14 years 1 months ago

Download www.di.ens.fr

Antoine Miné

claim paper

Read More »

click to vote

PRICAI
1998
Springer

78views Artificial Intelligence» more PRICAI 1998»

Dynamic Non-uniform Abstractions for Approximate Planning in Large Structured Stochastic Domains

14 years 1 days ago

Download www.baum.com.au

Jiri Baum, Ann E. Nicholson

claim paper

Read More »

click to vote

LICS
1996
IEEE

121views Automated Reasoning» more LICS 1996»

A Fully Abstract Domain Model for the pi-Calculus

14 years 6 hour ago

Download homepages.inf.ed.ac.uk

Ian Stark

claim paper

Read More »

click to vote

PEPM
1993
ACM

95views Software Engineering» more PEPM 1993»

Improving Abstract Interpretations by Combining Domains

13 years 12 months ago

Download www.csse.monash.edu.au

Michael Codish, Anne Mulkers, Maurice Bruynooghe, ...

claim paper

Read More »

click to vote

BIRTHDAY
2006
Springer

78views Applied Computing» more BIRTHDAY 2006»

Abstract Counterexample-Based Refinement for Powerset Domains

13 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers