Search Sciweavers | Sciweavers

10585 search results - page 126 / 2117

» The Orc Programming Language

106

click to vote

ERLANG
2008
ACM

166views Programming Languages» more ERLANG 2008»

A comparative evaluation of imperative and functional implementations of the imap protocol

15 years 5 months ago

Download www.erlang-solutions.com

Francesco Cesarini, Viviana Pappalardo, Corrado Sa...

claim paper

Read More »

Voted

ESOP
2008
Springer

95views Programming Languages» more ESOP 2008»

Certificate Translation in Abstract Interpretation

15 years 5 months ago

Download software.imdea.org

Gilles Barthe, César Kunz

claim paper

Read More »

click to vote

ESOP
2008
Springer

83views Programming Languages» more ESOP 2008»

Verification of Equivalent-Results Methods

15 years 5 months ago

Download research.microsoft.com

K. Rustan M. Leino, Peter Müller

claim paper

Read More »

click to vote

ESOP
2008
Springer

83views Programming Languages» more ESOP 2008»

A Theory of Hygienic Macros

15 years 5 months ago

Download www.ccs.neu.edu

David Herman, Mitchell Wand

claim paper

Read More »

106

click to vote

ESOP
2008
Springer

96views Programming Languages» more ESOP 2008»

Non-disjunctive Numerical Domain for Array Predicate Abstraction

15 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers