Sciweavers

4814 search results - page 16 / 963

» Combining abstract interpreters

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 »

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 »

18

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 »

24

VMCAI
2005
Springer

71views Software Engineering» more VMCAI 2005»

Static Analysis by Abstract Interpretation of the Quasi-synchronous Composition of Synchronous Programs

14 years 3 months ago

Static Analysis by Abstract Interpretation of the Quasi-synchronous Composition of Synchronous Programs

Download www.di.ens.fr

Julien Bertrane

claim paper

Read More »

« Prev « First page 16 / 963 Last » Next »