303 search results - page 38 / 61 » Typing Safe Deallocation |
141
click to vote
MEDINFO
2007
15 years 7 months ago
2007
In this paper we describe a model of clinical information designed to make health information systems properly interoperable and safely computable. The model is a response to a nu...
150
click to vote
JFP
2007
15 years 5 months ago
2007
Functional dependencies are a popular and useful extension to Haskell style type classes. We give a reformulation of functional dependencies in terms of Constraint Handling Rules ...
167
click to vote
ECOOP
2012
Springer
13 years 8 months ago
2012
Springer
X10 is an object oriented programming language with a sophisticated type system (constraints, class invariants, non-erased generics, closures) and concurrency constructs (asynchron...
140
click to vote
CSFW
2007
IEEE
16 years 9 days ago
2007
IEEE
We address the programmatic realization of the access control model of security in distributed systems. Our aim is e the gap between abstract/declarative policies and their concre...
168
click to vote
ICALP
2003
Springer
15 years 11 months ago
2003
Springer
We investigate the protection of migrating agents against the untrusted sites they traverse. The resulting calculus provides a formal framework to reason about protection policies ...