Search Sciweavers | Sciweavers

3307 search results - page 24 / 662

» The meaning of concurrent programs

click to vote

CSMR
1998
IEEE

99views Software Engineering» more CSMR 1998»

A Metrics Suite for Concurrent Logic Programs

14 years 3 months ago

Download cse.sjtu.edu.cn

AbstractA large body of research in the measurement of software complexity has been focused on imperative programs, but little eort has been made for logic programs. In this paper,...

Jianjun Zhao, Jingde Cheng, Kazuo Ushijima

claim paper

Read More »

click to vote

VMCAI
2010
Springer

160views Software Engineering» more VMCAI 2010»

RGSep Action Inference

14 years 8 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

14 years 5 months ago

Download www.cs.berkeley.edu

Zachary R. Anderson, David Gay, Mayur Naik

claim paper

Read More »