Search Sciweavers | Sciweavers

10585 search results - page 126 / 2117

» The Orc Programming Language

click to vote

ERLANG
2008
ACM

166views Programming Languages» more ERLANG 2008»

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

13 years 10 months ago

Download www.erlang-solutions.com

Francesco Cesarini, Viviana Pappalardo, Corrado Sa...

claim paper

Read More »

click to vote

ESOP
2008
Springer

95views Programming Languages» more ESOP 2008»

Certificate Translation in Abstract Interpretation

13 years 10 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

13 years 10 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

13 years 10 months ago

Download www.ccs.neu.edu

David Herman, Mitchell Wand

claim paper

Read More »

click to vote

ESOP
2008
Springer

96views Programming Languages» more ESOP 2008»

Non-disjunctive Numerical Domain for Array Predicate Abstraction

13 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers