Sciweavers

1011 search results - page 11 / 203
» Exception Analysis for Java
Sort
View
POPL
1999
ACM
15 years 6 months ago
Type-Based Analysis of Uncaught Exceptions
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...
François Pessaux, Xavier Leroy
ISTA
2007
15 years 3 months ago
Exception Analysis in Service-Oriented Architecture
: 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...
Anatoliy Gorbenko, Elyasi Komari Iraj, Vyacheslav ...
ICFP
1999
ACM
15 years 6 months ago
Type Dispatch for Named Hierarchical Types
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...
Neal Glew
JAVA
1999
Springer
15 years 6 months ago
Design, Implementation, and Evaluation of Optimizations in a Just-in-Time Compiler
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...
Kazuaki Ishizaki, Motohiro Kawahito, Toshiaki Yasu...