Sciweavers

24 search results - page 1 / 5

» esop 2008

6

ESOP
2008
Springer

96views Programming Languages» more ESOP 2008»

Non-disjunctive Numerical Domain for Array Predicate Abstraction

13 years 6 months ago

Non-disjunctive Numerical Domain for Array Predicate Abstraction

Download penjili.org

Xavier Allamigeon

claim paper

Read More »

7

ESOP
2008
Springer

95views Programming Languages» more ESOP 2008»

Certificate Translation in Abstract Interpretation

13 years 6 months ago

Certificate Translation in Abstract Interpretation

Download software.imdea.org

Gilles Barthe, César Kunz

claim paper

Read More »

7

ESOP
2008
Springer

83views Programming Languages» more ESOP 2008»

A Theory of Hygienic Macros

13 years 6 months ago

A Theory of Hygienic Macros

Download www.ccs.neu.edu

David Herman, Mitchell Wand

claim paper

Read More »

7

ESOP
2008
Springer

100views Programming Languages» more ESOP 2008»

Full Abstraction for Linda

13 years 6 months ago

Full Abstraction for Linda

Download www.cs.unibo.it

Cinzia Di Giusto, Maurizio Gabbrielli

claim paper

Read More »

5

ESOP
2008
Springer

83views Programming Languages» more ESOP 2008»

Verification of Equivalent-Results Methods

13 years 6 months ago

Verification of Equivalent-Results Methods

Download research.microsoft.com

K. Rustan M. Leino, Peter Müller

claim paper

Read More »

« Prev « First page 1 / 5 Last » Next »