Search Sciweavers | Sciweavers

10575 search results - page 204 / 2115

» Programming Languages

133

click to vote

ICFP
2008
ACM

119views Programming Languages» more ICFP 2008»

A lightweight approach to datatype-generic rewriting

16 years 6 months ago

Download www.cs.uu.nl

Thomas van Noort, Alexey Rodriguez, Stefan Holderm...

claim paper

Read More »

121

click to vote

ICFP
2003
ACM

88views Programming Languages» more ICFP 2003»

Global abstraction-safe marshalling with hash types

16 years 6 months ago

Download www.cl.cam.ac.uk

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

claim paper

Read More »

147

click to vote

ESOP
2010
Springer

128views Programming Languages» more ESOP 2010»

Logical Concurrency Control From Sequential Proofs

16 years 3 months ago

Download research.microsoft.com

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

claim paper

Read More »

127

click to vote

APLAS
2009
ACM

119views Programming Languages» more APLAS 2009»

Abstract Transformers for Thread Correlation Analysis

16 years 20 days ago

Download www.cs.tau.ac.il

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

claim paper

Read More »

119

click to vote

SMALLTALK
2007
Springer

143views Programming Languages» more SMALLTALK 2007»

Change-oriented software engineering

16 years 8 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers