POPL
2000
ACM
14 years 4 months ago
2000
ACM
Procedure extraction is an important program transformation that can be used to make programs easier to understand and maintain, to facilitate code reuse, and to convert “monoli...
POPL
2000
ACM
14 years 4 months ago
2000
ACM
Distributed-memory programs are often written using a global address space: any process can name any memory location on any processor. Some languages completely hide the distincti...
POPL
2000
ACM
14 years 4 months ago
2000
ACM
POPL
2000
ACM
14 years 4 months ago
2000
ACM
POPL
2000
ACM
14 years 4 months ago
2000
ACM
We propose an automatic method to enforce trace properties on programs. The programmer specifies the property separately from the program; a program transformer takes the program...
POPL
2000
ACM
14 years 4 months ago
2000
ACM
In 1998 Asperti and Mairson proved that the cost of reducing a lambda-term using an optimal lambda-reducer (a la L´evy) cannot be bound by any elementary function in the number o...
POPL
2000
ACM
14 years 4 months ago
2000
ACM
It has been shown that secret information can be leaked to external observers through covert timing channels. In this paper we are concerned with a kind of timing attack that want...
POPL
2000
ACM
14 years 4 months ago
2000
ACM
Adopting a programming-language perspective, we study the problem of implementing authentication in a distributed system. We define a process calculus with constructs for authent...
POPL
2000
ACM
14 years 4 months ago
2000
ACM
PLDI
2000
ACM
14 years 4 months ago
2000
ACM