8706 search results - page 175 / 1742 » Learning Subjective Language |
TOPLAS
2008
13 years 7 months ago
2008
We present a new approach to the old problem of adding side effects to purely functional languages. Our idea is to extend the language with "witnesses," which is based o...
DLS
2010
13 years 7 months ago
2010
Proxies are a powerful approach to implement meta-objects in object-oriented languages without having to resort to metacircular interpretation. We introduce such a meta-level API ...
SAC
2010
ACM
14 years 4 months ago
2010
ACM
During the last decade, software transactional memory (STM) gained wide popularity in many areas of parallel computing. In this paper, we introduce LISP-derived language equipped ...
ESORICS
2005
Springer
14 years 2 months ago
2005
Springer
Security protocols are critical for protecting modern communication infrastructures and are therefore subject to thorough analysis. However practical implementations of these proto...
OOPSLA
2005
Springer
14 years 2 months ago
2005
Springer
The objective of this research project is to improve the reusability of object-oriented software. We have introduced anchored exception declarations to allow checked exceptions to...