Search Sciweavers | Sciweavers

2478 search results - page 8 / 496

» Quadtrees as an Abstract Domain

122

click to vote

ESOP
2004
Springer

97views Programming Languages» more ESOP 2004»

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

15 years 9 months ago

Download www.di.ens.fr

Antoine Miné

claim paper

Read More »

103

click to vote

PRICAI
1998
Springer

78views Artificial Intelligence» more PRICAI 1998»

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

15 years 8 months ago

Download www.baum.com.au

Jiri Baum, Ann E. Nicholson

claim paper

Read More »

117

click to vote

LICS
1996
IEEE

121views Automated Reasoning» more LICS 1996»

A Fully Abstract Domain Model for the pi-Calculus

15 years 8 months ago

Download homepages.inf.ed.ac.uk

Ian Stark

claim paper

Read More »

107

click to vote

PEPM
1993
ACM

95views Software Engineering» more PEPM 1993»

Improving Abstract Interpretations by Combining Domains

15 years 8 months ago

Download www.csse.monash.edu.au

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

claim paper

Read More »

103

click to vote

BIRTHDAY
2006
Springer

78views Applied Computing» more BIRTHDAY 2006»

Abstract Counterexample-Based Refinement for Powerset Domains

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers