Search Sciweavers | Sciweavers

10871 search results - page 168 / 2175

» A stable programming language

click to vote

POPL
2004
ACM

104views Programming Languages» more POPL 2004»

The space cost of lazy reference counting

14 years 10 months ago

Download www.hpl.hp.com

Hans-Juergen Boehm

claim paper

Read More »

click to vote

POPL
2004
ACM

110views Programming Languages» more POPL 2004»

An abstract interpretation-based framework for software watermarking

14 years 10 months ago

Download www.di.ens.fr

Patrick Cousot, Radhia Cousot

claim paper

Read More »

click to vote

POPL
2004
ACM

84views Programming Languages» more POPL 2004»

Precise interprocedural analysis through linear algebra

14 years 10 months ago

Download www.cs.kuleuven.ac.be

Helmut Seidl, Markus Müller-Olm

claim paper

Read More »

click to vote

POPL
2003
ACM

101views Programming Languages» more POPL 2003»

A type theory for memory allocation and data layout

14 years 10 months ago

Download www-2.cs.cmu.edu

Leaf Petersen, Robert Harper, Karl Crary, Frank Pf...

claim paper

Read More »

click to vote

POPL
2002
ACM

114views Programming Languages» more POPL 2002»

Bounding space usage of conservative garbage collectors

14 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers