18 search results - page 4 / 4 » Tools for enforcing and inferring reference immutability in ... |
KBSE
2009
IEEE
14 years 1 days ago
2009
IEEE
Methods in object-oriented concurrent libraries hide internal synchronization details. However, information hiding may result in clients causing thread safety violations by invoki...
ECOOP
2010
Springer
13 years 10 months ago
2010
Springer
Abstract. With the current surge of scripting technologies, large programs are being built with dynamically typed languages. As these programs grow in size, semantics-based tools g...
USS
2008
13 years 7 months ago
2008
In this paper, we present an approach for verifying that trusted programs correctly enforce system security goals when deployed. A trusted program is trusted to only perform safe ...