269 search results - page 39 / 54 » Pointer Analysis for Multithreaded Programs |
IPPS
2003
IEEE
15 years 5 months ago
2003
IEEE
Jackal is a fine-grained distributed shared memory implementation of the Java programming language. It aims to implement Java’s memory model and allows multithreaded Java progr...
SAS
2009
Springer
16 years 7 days ago
2009
Springer
Abstract. The capability calculus is a framework for statically reasoning about program resources such as deallocatable memory regions. Fractional capabilities, originally proposed...
102
click to vote
ESOP
2000
Springer
15 years 3 months ago
2000
Springer
Abstract. We propose a new type discipline for the -calculus in which secure information flow is guaranteed by static type checking. Secrecy levels are assigned to channels and are...
116
click to vote
ESORICS
2010
Springer
14 years 12 months ago
2010
Springer
Abstract We propose an approach to certify the information flow security of multi-threaded programs independently from the scheduling algorithm. A scheduler-independent verificatio...
150
click to vote
ICSE
2011
IEEE-ACM
14 years 3 months ago
2011
IEEE-ACM
A raw object is partially initialized, with only some fields set to legal values. It may violate its object invariants, such as that a given field is non-null. Programs often ma...