365 search results - page 21 / 73 » Types for Safe Locking |
CSL
2000
Springer
15 years 7 months ago
2000
Springer
In the ambient logic of classical second order propositional calculus, we solve the specification problem for a family of excluded middle like tautologies. These are shown to be r...
111
Voted
CSFW
2006
IEEE
15 years 6 months ago
2006
IEEE
A distributed calculus is proposed for describing networks of services. We model service interaction through a call-by-property invocation mechanism, by specifying the security co...
137
Voted
ESOP
1999
Springer
15 years 7 months ago
1999
Springer
Safety of interoperation of program fragments written in different safe languages may fail when the languages have different systems of computational effects: an exception raised b...
124
click to vote
SOSP
2007
ACM
15 years 11 months ago
2007
ACM
This paper describes an efficient and robust approach to provide a safe execution environment for an entire operating system, such as Linux, and all its applications. The approach...
110
Voted
POPL
1991
ACM
15 years 6 months ago
1991
ACM
We present a new approach to the polymorphic typing of data accepting in-place modification in ML-like languages. This approach is based on restrictions over type generalization,...