Search Sciweavers | Sciweavers

32 search results - page 1 / 7

» esop 2010

click to vote

ESOP
2010
Springer

169views Programming Languages» more ESOP 2010»

Propositional Interpolation and Abstract Interpretation

13 years 11 months ago

Download www.comlab.ox.ac.uk

Vijay D'Silva

claim paper

Read More »

click to vote

ESOP
2010
Springer

167views Programming Languages» more ESOP 2010»

A theory of speculative computation

14 years 2 months ago

Download moscova.inria.fr

Gérard Boudol, Gustavo Petri

claim paper

Read More »

click to vote

ESOP
2010
Springer

148views Programming Languages» more ESOP 2010»

Functional Programming in Sublinear Space

14 years 2 months ago

Download www2.tcs.ifi.lmu.de

Ugo Dal Lago, Ulrich Schöpp

claim paper

Read More »

click to vote

ESOP
2010
Springer

115views Programming Languages» more ESOP 2010»

A PolyTime Functional Language from Light Linear Logic

14 years 2 months ago

Download perso.ens-lyon.fr

Patrick Baillot, Marco Gaboardi and Virgile Mogbil

claim paper

Read More »

click to vote

ESOP
2010
Springer

128views Programming Languages» more ESOP 2010»

Logical Concurrency Control From Sequential Proofs

14 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers