Sciweavers

25 search results - page 1 / 5
» popl 2004
Sort
View
289
Voted
POPL
2004
ACM
16 years 7 months ago
The space cost of lazy reference counting
Hans-Juergen Boehm
262
Voted
POPL
2004
ACM
16 years 7 months ago
An abstract interpretation-based framework for software watermarking
Patrick Cousot, Radhia Cousot
270
Voted
POPL
2004
ACM
16 years 7 months ago
A semantics for web services authentication
Andrew D. Gordon, Cédric Fournet, Karthikey...
250
Voted
POPL
2004
ACM
16 years 7 months ago
Local reasoning about a copying garbage collector
Lars Birkedal, Noah Torp-Smith, John C. Reynolds