Sciweavers

10575 search results - page 113 / 2115

» Programming Languages

57

ESOP
2008
Springer

95views Programming Languages» more ESOP 2008»

Certificate Translation in Abstract Interpretation

14 years 11 months ago

Certificate Translation in Abstract Interpretation

Download software.imdea.org

Gilles Barthe, César Kunz

claim paper

Read More »

49

ESOP
2008
Springer

83views Programming Languages» more ESOP 2008»

Verification of Equivalent-Results Methods

14 years 11 months ago

Verification of Equivalent-Results Methods

Download research.microsoft.com

K. Rustan M. Leino, Peter Müller

claim paper

Read More »

54

ESOP
2008
Springer

83views Programming Languages» more ESOP 2008»

A Theory of Hygienic Macros

14 years 11 months ago

A Theory of Hygienic Macros

Download www.ccs.neu.edu

David Herman, Mitchell Wand

claim paper

Read More »

67

ESOP
2008
Springer

96views Programming Languages» more ESOP 2008»

Non-disjunctive Numerical Domain for Array Predicate Abstraction

14 years 11 months ago

Non-disjunctive Numerical Domain for Array Predicate Abstraction

Download penjili.org

Xavier Allamigeon

claim paper

Read More »

60

ESOP
2008
Springer

100views Programming Languages» more ESOP 2008»

Full Abstraction for Linda

14 years 11 months ago

Full Abstraction for Linda

Download www.cs.unibo.it

Cinzia Di Giusto, Maurizio Gabbrielli

claim paper

Read More »

« Prev « First page 113 / 2115 Last » Next »