POPL 2002 | Sciweavers

36

click to vote

POPL
2002
ACM

114views Programming Languages» more POPL 2002»

Bounding space usage of conservative garbage collectors

14 years 5 months ago

Download www.hpl.hp.com

Hans-Juergen Boehm

claim paper

Read More »

41

click to vote

POPL
2002
ACM

141views Programming Languages» more POPL 2002»

Adaptive functional programming

14 years 5 months ago

Download www.cs.cmu.edu

An adaptive computation maintains the relationship between its input and output as the input changes. Although various techniques for adaptive computing have been proposed, they r...

Umut A. Acar, Guy E. Blelloch, Robert Harper

claim paper

Read More »

40

click to vote

POPL
2002
ACM

123views Programming Languages» more POPL 2002»

Analyzing security protocols with secrecy types and logic programs

14 years 5 months ago

Download users.soe.ucsc.edu

Bruno Blanchet, Martín Abadi

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers