Search Sciweavers | Sciweavers

1724 search results - page 13 / 345

» Abstract Interpreters for Free

122

click to vote

WOLLIC
2009
Springer

140views Artificial Intelligence» more WOLLIC 2009»

Observational Completeness on Abstract Interpretation

16 years 15 days ago

Download www.sci.unich.it

Gianluca Amato, Francesca Scozzari

claim paper

Read More »

132

click to vote

PPDP
2009
Springer

144views Programming Languages» more PPDP 2009»

A framework for abstract interpretation of timed concurrent constraint programs

16 years 13 days ago

Download www.lix.polytechnique.fr

Moreno Falaschi, Carlos Olarte, Catuscia Palamides...

claim paper

Read More »

134

click to vote

KBSE
2008
IEEE

150views Software Engineering» more KBSE 2008»

Reducing False Positives by Combining Abstract Interpretation and Bounded Model Checking

16 years 9 days ago

Download www.carstensinz.de

Hendrik Post, Carsten Sinz, Alexander Kaiser, Thom...

claim paper

Read More »

143

click to vote

SEFM
2008
IEEE

118views Software Engineering» more SEFM 2008»

Widening Operators for Abstract Interpretation

16 years 8 days ago

Download www.dsi.unive.it

Agostino Cortesi

claim paper

Read More »

150

click to vote

CP
2007
Springer

112views Artificial Intelligence» more CP 2007»

An Abstract Interpretation Based Combinator for Modelling While Loops in Constraint Programming

16 years 2 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers