Search Sciweavers | Sciweavers

10666 search results - page 198 / 2134

» Quantum programming languages

click to vote

ECOOP
2005
Springer

115views Programming Languages» more ECOOP 2005»

The Essence of Data Access in Comega

15 years 4 months 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

15 years 4 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

15 years 4 months ago

Download www.cs.princeton.edu

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

claim paper

Read More »

Voted

ESOP
2008
Springer

120views Programming Languages» more ESOP 2008»

The Conversation Calculus: A Model of Service-Oriented Computation

15 years 4 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

15 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers