Sciweavers

10622 search results - page 161 / 2125
» Python Programming Language
Sort
View
194
Voted
POPL
2004
ACM
16 years 3 months ago
A semantics for web services authentication
Andrew D. Gordon, Cédric Fournet, Karthikey...
201
Voted
POPL
2004
ACM
16 years 3 months ago
The space cost of lazy reference counting
Hans-Juergen Boehm
187
Voted
POPL
2004
ACM
16 years 3 months ago
An abstract interpretation-based framework for software watermarking
Patrick Cousot, Radhia Cousot
241
Voted
POPL
2004
ACM
16 years 3 months ago
Precise interprocedural analysis through linear algebra
Helmut Seidl, Markus Müller-Olm
190
Voted
POPL
2003
ACM
16 years 3 months ago
A type theory for memory allocation and data layout
Leaf Petersen, Robert Harper, Karl Crary, Frank Pf...