Search Sciweavers | Sciweavers

1159 search results - page 8 / 232

» Adding Concurrency to a Programming Language

click to vote

PPCP
1994

118views Programming Languages» more PPCP 1994»

QUAD-CLP(R): Adding the Power of Quadratic Constraints

15 years 5 months ago

Download www.crt.umontreal.ca

Gilles Pesant, Michel Boyer

claim paper

Read More »

Voted

PLDI
2009
ACM

119views Programming Languages» more PLDI 2009»

Lightweight annotations for controlling sharing in concurrent data structures

15 years 8 months ago

Download www.cs.berkeley.edu

Zachary R. Anderson, David Gay, Mayur Naik

claim paper

Read More »

click to vote

SIGADA
1999
Springer

89views Programming Languages» more SIGADA 1999»

Formal modeling of synchronization methods for concurrent objects in Ada 95

15 years 6 months ago

Download www.sigada.org

Ravi K. Gedela, Sol M. Shatz, Haiping Xu

claim paper

Read More »

click to vote

ESOP
2008
Springer

79views Programming Languages» more ESOP 2008»

Oracle Semantics for Concurrent Separation Logic

15 years 3 months ago

Download www.cs.princeton.edu

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

claim paper

Read More »

Voted

ESOP
2007
Springer

147views Programming Languages» more ESOP 2007»

A Concurrent Calculus with Atomic Transactions

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers