4386 search results - page 622 / 878 » A Tamper-Resistant Programming Language System |
117
click to vote
ESOP
2008
Springer
15 years 5 months ago
2008
Springer
In this work we address the problem of proving, by static analysis means, that allocating and deallocating regions in the store provides a safe way to achieve memory management. Th...
112
click to vote
CONCURRENCY
2008
15 years 3 months ago
2008
Abstract. The global quiescence of a distributed computation (or distributed termination detection) is an important problem. Some concurrent programming languages and systems provi...
266
click to vote
ECOOP
2009
Springer
16 years 4 months ago
2009
Springer
We present a type system for checking object immutability, read-only references, and class immutability in an open or closed world. To allow object initialization outside object co...
123
click to vote
UM
2009
Springer
15 years 10 months ago
2009
Springer
This paper describes the evaluation of a Scrutable User Modelling Infrastructure. SUMI is intended to form a service to allow users to share their user models from social e-network...
122
click to vote
ICALP
2010
Springer
15 years 8 months ago
2010
Springer
Graph transformation works under a whole-world assumption. In modelling realistic systems, this typically makes for large graphs and sometimes also large, hard to understand rules....