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

13 years 7 months ago

Download www.di.ens.fr

Antoine Miné

claim paper

Read More »

click to vote

AI
2005
Springer

65views Artificial Intelligence» more AI 2005»

Task-dependent qualitative domain abstraction

13 years 7 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

13 years 7 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

13 years 7 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

13 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers