7124 search results - page 837 / 1425 » Programming Languages and Operating Systems |
191
click to vote
ICALP
2007
Springer
16 years 1 months ago
2007
Springer
We revisit the problem of memory checking considered by Blum et al. [3]. In this model, a checker monitors the behavior of a data structure residing in unreliable memory given an a...
222
click to vote
JLP
2011
15 years 2 months ago
2011
Formal languages for policy have been developed for access control and conformance checking. In this paper, we describe a formalism that combines features that have been developed...
223
click to vote
POPL
2011
ACM
14 years 10 months ago
2011
ACM
The technique of trace-based just-in-time compilation was introduced by Bala et al. and was further developed by Gal et al. It currently enjoys success in Mozilla Firefox’s Java...
210
click to vote
OOPSLA
2007
Springer
16 years 1 months ago
2007
Springer
Programming distributed data-intensive web and mobile applications is gratuitously hard. As the world is moving more and more towards the software as services model, we have to co...
145
click to vote
PPDP
2005
Springer
16 years 16 days ago
2005
Springer
We address the problem of controlling information leakage in a concurrent declarative programming setting. Our aim is to define verification tools in order to distinguish betwee...