Sciweavers

10666 search results - page 131 / 2134

» Quantum programming languages

15

ESOP
2008
Springer

83views Programming Languages» more ESOP 2008»

Verification of Equivalent-Results Methods

14 years 1 days ago

Verification of Equivalent-Results Methods

Download research.microsoft.com

K. Rustan M. Leino, Peter Müller

claim paper

Read More »

19

ESOP
2008
Springer

83views Programming Languages» more ESOP 2008»

A Theory of Hygienic Macros

14 years 1 days ago

A Theory of Hygienic Macros

Download www.ccs.neu.edu

David Herman, Mitchell Wand

claim paper

Read More »

24

ESOP
2008
Springer

96views Programming Languages» more ESOP 2008»

Non-disjunctive Numerical Domain for Array Predicate Abstraction

14 years 1 days ago

Non-disjunctive Numerical Domain for Array Predicate Abstraction

Download penjili.org

Xavier Allamigeon

claim paper

Read More »

21

ESOP
2008
Springer

100views Programming Languages» more ESOP 2008»

Full Abstraction for Linda

14 years 1 days ago

Full Abstraction for Linda

Download www.cs.unibo.it

Cinzia Di Giusto, Maurizio Gabbrielli

claim paper

Read More »

28

ICFP
2010
ACM

148views Programming Languages» more ICFP 2010»

Abstracting abstract machines

13 years 11 months ago

Abstracting abstract machines

Download www.ccs.neu.edu

David Van Horn, Matthew Might

claim paper

Read More »

« Prev « First page 131 / 2134 Last » Next »