Search Sciweavers | Sciweavers

10871 search results - page 242 / 2175

» A stable programming language

222

click to vote

POPL
2001
ACM

107views Programming Languages» more POPL 2001»

What packets may come: automata for network monitoring

16 years 6 months ago

Download seclab.uiuc.edu

Karthikeyan Bhargavan, Satish Chandra, Peter J. Mc...

claim paper

Read More »

143

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 »

123

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 »

157

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 »

134

click to vote

APLAS
2009
ACM

119views Programming Languages» more APLAS 2009»

Abstract Transformers for Thread Correlation Analysis

16 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers