Search Sciweavers | Sciweavers

10585 search results - page 232 / 2117

» The Orc Programming Language

click to vote

ICFP
2003
ACM

88views Programming Languages» more ICFP 2003»

Global abstraction-safe marshalling with hash types

14 years 9 months ago

Download www.cl.cam.ac.uk

James J. Leifer, Gilles Peskine, Peter Sewell, Kei...

claim paper

Read More »

click to vote

ESOP
2010
Springer

128views Programming Languages» more ESOP 2010»

Logical Concurrency Control From Sequential Proofs

14 years 6 months ago

Download research.microsoft.com

G. Ramalingam, Jyotirmoy V. Deshmukh, Kapil Vaswan...

claim paper

Read More »

click to vote

APLAS
2009
ACM

119views Programming Languages» more APLAS 2009»

Abstract Transformers for Thread Correlation Analysis

14 years 3 months ago

Download www.cs.tau.ac.il

Michal Segalov, Tal Lev-Ami, Roman Manevich, Ganes...

claim paper

Read More »

click to vote

SMALLTALK
2007
Springer

143views Programming Languages» more SMALLTALK 2007»

Change-oriented software engineering

14 years 3 months ago

Download csl.ensm-douai.fr

Peter Ebraert, Jorge Vallejos, Pascal Costanza, El...

claim paper

Read More »

click to vote

SMALLTALK
2007
Springer

109views Programming Languages» more SMALLTALK 2007»

Forward chaining in HALO: an implementation strategy for history-based logic pointcuts

14 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers