Sciweavers

1491 search results - page 6 / 299

» Resource-Passing Concurrent Programming

167

PSC
1992

130views Programming Languages» more PSC 1992»

Design of a Concurrent and Distributed Language

15 years 10 months ago

Design of a Concurrent and Distributed Language

Download pagesperso-systeme.lip6.fr

Christian Queinnec, David De Roure

claim paper

Read More »

131

Voted

POPL
1991
ACM

91views Programming Languages» more POPL 1991»

Modeling Concurrency with Geometry

15 years 10 months ago

Modeling Concurrency with Geometry

Download infolab.stanford.edu

Vaughan R. Pratt

claim paper

Read More »

160

PLDI
2011
ACM

203views Programming Languages» more PLDI 2011»

Cruiser: concurrent heap buffer overflow monitoring using lock-free data structures

14 years 9 months ago

Cruiser: concurrent heap buffer overflow monitoring using lock-free data structures

Download faculty.ist.psu.edu

Qiang Zeng, Dinghao Wu, Peng Liu

claim paper

Read More »

223

ESOP
1999
Springer

218views Programming Languages» more ESOP 1999»

Set-Based Failure Analysis for Logic Programs and Concurrent Constraint Programs

15 years 11 months ago

Set-Based Failure Analysis for Logic Programs and Concurrent Constraint Programs

Download www.ps.uni-saarland.de

This paper presents the rst approximation method of the nite-failure set of a logic program by set-based analysis. In a dual view, the method yields a type analysis for programs wi...

Andreas Podelski, Witold Charatonik, Martin Mü...

claim paper

Read More »

122

Voted

SIGPLAN
2008

97views System Software» more SIGPLAN 2008»

Use concurrent programming models to motivate teaching of programming languages

15 years 6 months ago

Use concurrent programming models to motivate teaching of programming languages

Download www.eecs.ucf.edu

Gary T. Leavens

claim paper

Read More »

« Prev « First page 6 / 299 Last » Next »