Sciweavers

25 search results - page 1 / 5

» popl 2004

34

POPL
2004
ACM

104views Programming Languages» more POPL 2004»

The space cost of lazy reference counting

14 years 4 months ago

The space cost of lazy reference counting

Download www.hpl.hp.com

Hans-Juergen Boehm

claim paper

Read More »

39

POPL
2004
ACM

110views Programming Languages» more POPL 2004»

An abstract interpretation-based framework for software watermarking

14 years 4 months ago

An abstract interpretation-based framework for software watermarking

Download www.di.ens.fr

Patrick Cousot, Radhia Cousot

claim paper

Read More »

39

POPL
2004
ACM

84views Programming Languages» more POPL 2004»

Precise interprocedural analysis through linear algebra

14 years 4 months ago

Precise interprocedural analysis through linear algebra

Download www.cs.kuleuven.ac.be

Helmut Seidl, Markus Müller-Olm

claim paper

Read More »

31

POPL
2004
ACM

119views Programming Languages» more POPL 2004»

A semantics for web services authentication

14 years 4 months ago

A semantics for web services authentication

Download research.microsoft.com

Andrew D. Gordon, Cédric Fournet, Karthikey...

claim paper

Read More »

36

POPL
2004
ACM

86views Programming Languages» more POPL 2004»

Local reasoning about a copying garbage collector

14 years 4 months ago

Local reasoning about a copying garbage collector

Download www.itu.dk

Lars Birkedal, Noah Torp-Smith, John C. Reynolds

claim paper

Read More »

« Prev « First page 1 / 5 Last » Next »