Sciweavers

1724 search results - page 14 / 345

» Abstract Interpreters for Free

26

SCAM
2006
IEEE

133views Software Engineering» more SCAM 2006»

Abstract Interpretation of PIC Programs through Logic Programming

14 years 3 months ago

Abstract Interpretation of PIC Programs through Logic Programming

Download www.dcs.kcl.ac.uk

Kim S. Henriksen, John P. Gallagher

claim paper

Read More »

24

PLDI
2006
ACM

90views Programming Languages» more PLDI 2006»

Combining abstract interpreters

14 years 3 months ago

Combining abstract interpreters

Download research.microsoft.com

Sumit Gulwani, Ashish Tiwari

claim paper

Read More »

21

SEFM
2005
IEEE

124views Software Engineering» more SEFM 2005»

Control Code Obfuscation by Abstract Interpretation

14 years 3 months ago

Control Code Obfuscation by Abstract Interpretation

Download profs.sci.univr.it

Mila Dalla Preda, Roberto Giacobazzi

claim paper

Read More »

23

ESOP
2005
Springer

86views Programming Languages» more ESOP 2005»

Trace Partitioning in Abstract Interpretation Based Static Analyzers

14 years 3 months ago

Trace Partitioning in Abstract Interpretation Based Static Analyzers

Download www.di.ens.fr

Laurent Mauborgne, Xavier Rival

claim paper

Read More »

17

PPDP
2005
Springer

132views Programming Languages» more PPDP 2005»

Abstract interpretation for constraint handling rules

14 years 3 months ago

Abstract interpretation for constraint handling rules

Download people.cs.kuleuven.be

Tom Schrijvers, Peter J. Stuckey, Gregory J. Duck

claim paper

Read More »

« Prev « First page 14 / 345 Last » Next »