Search Sciweavers | Sciweavers

10622 search results - page 232 / 2125

» Python Programming Language

Voted

ICFP
2003
ACM

88views Programming Languages» more ICFP 2003»

Global abstraction-safe marshalling with hash types

16 years 3 months ago

Download www.cl.cam.ac.uk

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

claim paper

Read More »

120

click to vote

ESOP
2010
Springer

128views Programming Languages» more ESOP 2010»

Logical Concurrency Control From Sequential Proofs

16 years 25 days ago

Download research.microsoft.com

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

claim paper

Read More »

100

click to vote

APLAS
2009
ACM

119views Programming Languages» more APLAS 2009»

Abstract Transformers for Thread Correlation Analysis

15 years 10 months ago

Download www.cs.tau.ac.il

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

claim paper

Read More »

Voted

SMALLTALK
2007
Springer

143views Programming Languages» more SMALLTALK 2007»

Change-oriented software engineering

15 years 9 months ago

Download csl.ensm-douai.fr

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

claim paper

Read More »

105

Voted

SMALLTALK
2007
Springer

109views Programming Languages» more SMALLTALK 2007»

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

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers