303 search results - page 51 / 61 » Typing Safe Deallocation |
SAS
2004
Springer
14 years 23 days ago
2004
Springer
Array-Range Analysis computes at compile time the range of possible index values for each array-index expression in a program. This information can be used to detect potential out-...
HICSS
2003
IEEE
14 years 21 days ago
2003
IEEE
Given the uncertainty of the online environment, institutional trust is fundamental in building and retaining online interorganizational relationships. The authors propose two typ...
INAP
2001
Springer
13 years 12 months ago
2001
Springer
We often reach conclusions partially on the basis that we do not have evidence that the conclusion is false. A newspaper story warning that the local water supply has been contamin...
JAVA
2001
Springer
13 years 12 months ago
2001
Springer
Java has integrated multithreading to a far greater extent than most programming languages. It is also one of the only languages that specifies and requires safety guarantees for...
ICFP
1999
ACM
13 years 11 months ago
1999
ACM
A good foreign-language interface is crucial for the success of any modern programming language implementation. Although all serious compilers for functional languages have some f...