Search Sciweavers | Sciweavers

12452 search results - page 290 / 2491

» An exploration of program as language

150

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 »

127

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 »

159

click to vote

ESOP
2010
Springer

128views Programming Languages» more ESOP 2010»

Logical Concurrency Control From Sequential Proofs

16 years 4 months ago

Download research.microsoft.com

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

claim paper

Read More »

144

Voted

APLAS
2009
ACM

119views Programming Languages» more APLAS 2009»

Abstract Transformers for Thread Correlation Analysis

16 years 1 months ago

Download www.cs.tau.ac.il

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

claim paper

Read More »

133

Voted

SMALLTALK
2007
Springer

143views Programming Languages» more SMALLTALK 2007»

Change-oriented software engineering

16 years 26 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers