Search Sciweavers | Sciweavers

4814 search results - page 1 / 963

» Combining abstract interpreters

click to vote

KBSE
2008
IEEE

150views Software Engineering» more KBSE 2008»

Reducing False Positives by Combining Abstract Interpretation and Bounded Model Checking

14 years 5 months ago

Download www.carstensinz.de

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

claim paper

Read More »

click to vote

CP
2007
Springer

112views Artificial Intelligence» more CP 2007»

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

14 years 5 months ago

Download www.irisa.fr

Tristan Denmat, Arnaud Gotlieb, Mireille Ducass&ea...

claim paper

Read More »

click to vote

PLDI
2006
ACM

90views Programming Languages» more PLDI 2006»

Combining abstract interpreters

14 years 4 months ago

Download research.microsoft.com

Sumit Gulwani, Ashish Tiwari

claim paper

Read More »

click to vote

SAS
2004
Springer

104views Formal Methods» more SAS 2004»

Abstract Interpretation of Combinational Asynchronous Circuits

14 years 4 months ago

Download www.cl.cam.ac.uk

Sarah Thompson, Alan Mycroft

claim paper

Read More »

click to vote

PEPM
1993
ACM

95views Software Engineering» more PEPM 1993»

Improving Abstract Interpretations by Combining Domains

14 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers