Search Sciweavers | Sciweavers

10575 search results - page 174 / 2115

» Programming Languages

click to vote

ECOOP
2005
Springer

115views Programming Languages» more ECOOP 2005»

The Essence of Data Access in Comega

15 years 2 days ago

Download research.microsoft.com

Gavin M. Bierman, Erik Meijer, Wolfram Schulte

claim paper

Read More »

click to vote

ECOOP
2008
Springer

83views Programming Languages» more ECOOP 2008»

UpgradeJ: Incremental Typechecking for Class Upgrades

14 years 12 months ago

Download research.microsoft.com

Gavin M. Bierman, Matthew J. Parkinson, James Nobl...

claim paper

Read More »

click to vote

ESOP
2008
Springer

79views Programming Languages» more ESOP 2008»

Oracle Semantics for Concurrent Separation Logic

14 years 12 months ago

Download www.cs.princeton.edu

Aquinas Hobor, Andrew W. Appel, Francesco Zappa Na...

claim paper

Read More »

click to vote

ESOP
2008
Springer

120views Programming Languages» more ESOP 2008»

The Conversation Calculus: A Model of Service-Oriented Computation

14 years 12 months ago

Download ctp.di.fct.unl.pt

Hugo Torres Vieira, Luís Caires, Joã...

claim paper

Read More »

click to vote

APLAS
2010
ACM

113views Programming Languages» more APLAS 2010»

A Provably Correct Stackless Intermediate Representation for Java Bytecode

14 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers