Search Sciweavers | Sciweavers

1159 search results - page 8 / 232

» Adding Concurrency to a Programming Language

114

click to vote

PPCP
1994

118views Programming Languages» more PPCP 1994»

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

15 years 10 months ago

Download www.crt.umontreal.ca

Gilles Pesant, Michel Boyer

claim paper

Read More »

130

click to vote

PLDI
2009
ACM

119views Programming Languages» more PLDI 2009»

Lightweight annotations for controlling sharing in concurrent data structures

16 years 1 months ago

Download www.cs.berkeley.edu

Zachary R. Anderson, David Gay, Mayur Naik

claim paper

Read More »

117

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 10 months ago

Download www.sigada.org

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

claim paper

Read More »

127

Voted

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 »

128

click to vote

ESOP
2007
Springer

147views Programming Languages» more ESOP 2007»

A Concurrent Calculus with Atomic Transactions

16 years 15 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers