Search Sciweavers | Sciweavers

1550 search results - page 29 / 310

» Erlang for Concurrent Programming

click to vote

VMCAI
2010
Springer

160views Software Engineering» more VMCAI 2010»

RGSep Action Inference

15 years 6 months ago

Download www.cl.cam.ac.uk

We present an automatic verification procedure based on RGSep that is suitable for reasoning about fine-grained concurrent heapmanipulating programs. The procedure computes a set o...

Viktor Vafeiadis

claim paper

Read More »

click to vote

PLDI
2009
ACM

119views Programming Languages» more PLDI 2009»

Lightweight annotations for controlling sharing in concurrent data structures

15 years 4 months ago

Download www.cs.berkeley.edu

Zachary R. Anderson, David Gay, Mayur Naik

claim paper

Read More »

click to vote

ESOP
2007
Springer

147views Programming Languages» more ESOP 2007»

A Concurrent Calculus with Atomic Transactions

15 years 3 months ago

Download www.irit.fr

Lucia Acciai, Michele Boreale, Silvano Dal-Zilio

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 1 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

14 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers