LCPC
1999
Springer
15 years 1 months ago
1999
Springer
Wavefront computations, characterized by a data dependent flow of computation across a data space, are receiving increasing attention as an important class of parallel computation...
PET
2004
Springer
15 years 2 months ago
2004
Springer
Abstract. We develop a language-based approach for modeling and verifying aspects of privacy policies. Our approach relies on information-flow control. Concretely, we use the prog...
77
Voted
ICFP
2005
ACM
15 years 8 months ago
2005
ACM
