Search Sciweavers | Sciweavers

12452 search results - page 236 / 2491

» An exploration of program as language

131

click to vote

ESOP
2008
Springer

79views Programming Languages» more ESOP 2008»

Oracle Semantics for Concurrent Separation Logic

15 years 8 months ago

Download www.cs.princeton.edu

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

claim paper

Read More »

154

Voted

ESOP
2008
Springer

120views Programming Languages» more ESOP 2008»

The Conversation Calculus: A Model of Service-Oriented Computation

15 years 8 months ago

Download ctp.di.fct.unl.pt

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

claim paper

Read More »

127

click to vote

APLAS
2010
ACM

113views Programming Languages» more APLAS 2010»

A Provably Correct Stackless Intermediate Representation for Java Bytecode

15 years 6 months ago

Download mobius.inria.fr

Delphine Demange, Thomas P. Jensen, David Pichardi...

claim paper

Read More »

135

click to vote

ADT
2010

107views Programming Languages» more ADT 2010»

End-to-end throughput improvement for single radio multi-channel multi-path wireless mesh networks: a cross layer design

15 years 6 months ago

Download networking.khu.ac.kr

Cao Trong Hieu, Sungwon Lee, Choong Seon Hong

claim paper

Read More »

157

click to vote

ICALP
2010
Springer

108views Programming Languages» more ICALP 2010»

Finding Is as Easy as Detecting for Quantum Walks

15 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers