Sciweavers

10585 search results - page 158 / 2117
» The Orc Programming Language
Sort
View
200
Voted
POPL
2004
ACM
16 years 2 months ago
The space cost of lazy reference counting
Hans-Juergen Boehm
186
Voted
POPL
2004
ACM
16 years 2 months ago
An abstract interpretation-based framework for software watermarking
Patrick Cousot, Radhia Cousot
240
Voted
POPL
2004
ACM
16 years 2 months ago
Precise interprocedural analysis through linear algebra
Helmut Seidl, Markus Müller-Olm
190
Voted
POPL
2003
ACM
16 years 2 months ago
A type theory for memory allocation and data layout
Leaf Petersen, Robert Harper, Karl Crary, Frank Pf...