Sciweavers

25 search results - page 1 / 5
» popl 2004
Sort
View
163
Voted
POPL
2004
ACM
16 years 12 days ago
An abstract interpretation-based framework for software watermarking
Patrick Cousot, Radhia Cousot
POPL
2004
ACM
16 years 12 days ago
A semantics for web services authentication
Andrew D. Gordon, Cédric Fournet, Karthikey...
POPL
2004
ACM
16 years 12 days ago
Local reasoning about a copying garbage collector
Lars Birkedal, Noah Torp-Smith, John C. Reynolds