Search Sciweavers | Sciweavers

10666 search results - page 166 / 2134

» Quantum programming languages

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

Download www.hpl.hp.com

Hans-Juergen Boehm

claim paper

Read More »

click to vote

POPL
2002
ACM

109views Programming Languages» more POPL 2002»

Stack inspection: theory and variants

14 years 10 months ago

Download research.microsoft.com

Cédric Fournet, Andrew D. Gordon

claim paper

Read More »

click to vote

POPL
2002
ACM

103views Programming Languages» more POPL 2002»

Lazy abstraction

14 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers