A Practical Method for Specification and Analysis of Exception Handling -- A Java/JVM Case Study.
Saved in:
| Title: | A Practical Method for Specification and Analysis of Exception Handling -- A Java/JVM Case Study. |
|---|---|
| Authors: | Börger, Egon, Schulte, Wolfram |
| Source: | IEEE Transactions on Software Engineering; Sep2000, Vol. 26 Issue 9, p872-887, 16p |
| Subject Terms: | PROGRAMMING languages, JAVA programming language, VIRTUAL machine systems, CASE studies, COMPILERS (Computer programs), ERROR messages (Computer science) |
| Abstract: | In this paper, we provide a rigorous framework for language and platform independent design and analysis of exception handling mechanisms in modem programming languages and their implementations. To illustrate the practicality of the method we develop it for the exception handling mechanism of Java and show that its implementation on the Java Virtual Machine (JVM) is correct. For this purpose we define precise abstract models for exception handling in Java and in the JVM and define a compilation scheme of Java to JVM code which allows us to prove that, in corresponding runs, Java and the JVM throw the same exceptions and with equivalent effect. Thus, the compilation scheme can with reasonable confidence, be used as a standard reference for Java exception handling compilation. [ABSTRACT FROM AUTHOR] |
| Copyright of IEEE Transactions on Software Engineering is the property of IEEE Computer Society and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.) | |
| Database: | Complementary Index |
Full Text Finder 
Nájsť tento článok vo Web of Science Be the first to leave a comment!