A practical method for specification and analysis of exception handling-a Java/JVM case study
- 1 January 2000
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering
- Vol. 26 (9) , 872-887
- https://doi.org/10.1109/32.877847
Abstract
No abstract availableThis publication has 8 references indexed in Scilit:
- Modular Design for the Java Virtual Machine ArchitecturePublished by Springer Nature ,2000
- Proving Theorems About Java-Like Byte CodePublished by Springer Nature ,1999
- A Programmer Friendly Modular Definition of the Semantics of JavaPublished by Springer Nature ,1999
- High Level System Design and Analysis Using Abstract State MachinesPublished by Springer Nature ,1999
- A type system for object initialization in the Java bytecode languagePublished by Association for Computing Machinery (ACM) ,1998
- A type system for Java bytecode subroutinesPublished by Association for Computing Machinery (ACM) ,1998
- Correctness of compiling Occam to transputer codeThe Computer Journal, 1996
- Verification of compiler correctness for the WAMPublished by Springer Nature ,1996