303 search results - page 19 / 61 » Typing Safe Deallocation |
ICMAS
2000
13 years 8 months ago
2000
Safe exchange is a key issue in multiagent systems, especially in electronic transactions where nondelivery is a major problem. In this paper we present a unified framework for mo...
ESOP
1999
Springer
13 years 11 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...
POPL
1991
ACM
13 years 11 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,...
IFM
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. Transactions are a high-level alternative for low-level concurrencycontrol mechanisms such as locks, semaphores, monitors. A recent proposal for integrating transactional...
ICFP
2005
ACM
14 years 7 months ago
2005
ACM
The concept of a "unique" object arises in many emerging programming languages such as Clean, CQual, Cyclone, TAL, and Vault. In each of these systems, unique objects ma...