1011 search results - page 11 / 203 » Exception Analysis for Java |
POPL
1999
ACM
13 years 12 months ago
1999
ACM
This paper presents a program analysis to estimate uncaught exceptions in ML programs. This analysis relies on unification-based type inference in a non-standard type system, usi...
ISTA
2007
13 years 9 months ago
2007
: Exception handling is one of the powerful means of achieving high dependability and fault-tolerance in service-oriented architecture (SOA). The paper introduces the results of ex...
ICFP
1999
ACM
13 years 12 months ago
1999
ACM
Type dispatch constructs are an important feature of many programming languages. Scheme has predicates for testing the runtime type of a value. Java has a class cast expression an...
JOT
2006
13 years 7 months ago
2006
JAVA
1999
Springer
13 years 12 months ago
1999
Springer
The Java language incurs a runtime overhead for exception checks and object accesses without an interior pointer in order to ensure safety. It also requires type inclusion test, d...