Search Sciweavers | Sciweavers

2203 search results - page 15 / 441

» Temporal Abstract Interpretation

147

click to vote

SEFM
2008
IEEE

118views Software Engineering» more SEFM 2008»

Widening Operators for Abstract Interpretation

16 years 24 days ago

Download www.dsi.unive.it

Agostino Cortesi

claim paper

Read More »

160

Voted

CP
2007
Springer

112views Artificial Intelligence» more CP 2007»

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

16 years 18 days ago

Download www.irisa.fr

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

claim paper

Read More »

138

click to vote

SCAM
2006
IEEE

133views Software Engineering» more SCAM 2006»

Abstract Interpretation of PIC Programs through Logic Programming

16 years 13 days ago

Download www.dcs.kcl.ac.uk

Kim S. Henriksen, John P. Gallagher

claim paper

Read More »

127

Voted

PLDI
2006
ACM

90views Programming Languages» more PLDI 2006»

Combining abstract interpreters

16 years 11 days ago

Download research.microsoft.com

Sumit Gulwani, Ashish Tiwari

claim paper

Read More »

129

click to vote

SEFM
2005
IEEE

124views Software Engineering» more SEFM 2005»

Control Code Obfuscation by Abstract Interpretation

16 years 2 hour ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers