Search Sciweavers | Sciweavers

2448 search results - page 9 / 490

» The Octahedron Abstract Domain

click to vote

CORR
2007
Springer

100views Education» more CORR 2007»

The Octagon Abstract Domain

14 years 10 months ago

Download www.di.ens.fr

Antoine Miné

claim paper

Read More »

Voted

AI
2005
Springer

65views Artificial Intelligence» more AI 2005»

Task-dependent qualitative domain abstraction

14 years 10 months ago

Download people.csail.mit.edu

ion M. Sachenbacher a,, P. Struss b aMIT CSAIL, 200 Technology Square, Cambridge, MA 02139, USA bTechnische Universit

Martin Sachenbacher, Peter Struss

claim paper

Read More »

click to vote

CORR
2002
Springer

100views Education» more CORR 2002»

Making Abstract Domains Condensing

14 years 10 months ago

Download profs.sci.univr.it

Roberto Giacobazzi, Francesco Ranzato, Francesca S...

claim paper

Read More »

click to vote

JLP
2000

77views more JLP 2000»

Abstract Domains for Reordering CLP(RLin) Programs

14 years 10 months ago

Download www.dsi.unive.it

Viswanath Ramachandran, Pascal Van Hentenryck, Ago...

claim paper

Read More »

click to vote

INFORMATICALT
2002

75views more INFORMATICALT 2002»

Relationship Model of Abstractions Used for Developing Domain Generators

14 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers