Sciweavers

1422 search results - page 14 / 285

» Complementation in Abstract Interpretation

105

SEFM
2005
IEEE

124views Software Engineering» more SEFM 2005»

Control Code Obfuscation by Abstract Interpretation

15 years 10 months ago

Control Code Obfuscation by Abstract Interpretation

Download profs.sci.univr.it

Mila Dalla Preda, Roberto Giacobazzi

claim paper

Read More »

102

ESOP
2005
Springer

86views Programming Languages» more ESOP 2005»

Trace Partitioning in Abstract Interpretation Based Static Analyzers

15 years 10 months ago

Trace Partitioning in Abstract Interpretation Based Static Analyzers

Download www.di.ens.fr

Laurent Mauborgne, Xavier Rival

claim paper

Read More »

116

Voted

PPDP
2005
Springer

132views Programming Languages» more PPDP 2005»

Abstract interpretation for constraint handling rules

15 years 10 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 »

116

VMCAI
2005
Springer

71views Software Engineering» more VMCAI 2005»

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

15 years 10 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 »

98

Voted

VMCAI
2005
Springer

93views Software Engineering» more VMCAI 2005»

Abstract Interpretation with Alien Expressions and Heap Structures

15 years 10 months ago

Abstract Interpretation with Alien Expressions and Heap Structures

Download www.cs.colorado.edu

Bor-Yuh Evan Chang, K. Rustan M. Leino

claim paper

Read More »

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