Searching for "Termination Analysis of Java Bytecode." – sorted by Relevance.
4 documents found, showing 1 through 4.
-
Termination Analysis of Java Bytecode
- …Termination Analysis of Java Bytecode ⋆ E. Albert 1 , P. Arenas 1 , M. Codish 2 , S. Genaim 3 , G…
- Cited by 3 (1 self) – Add To MetaCart
-
A Termination Analyser for Java Bytecode Based on Path-Length
- …, termination analysis, Java, Java bytecode 1. INTRODUCTION It is well-known that a general procedure…
- Add To MetaCart
-
Semantic Predicate Types and Approximation forClass-based Object Oriented Programming
- … addresses. A termination analysis of Java bytecode has been done [2],however our system aims at performing…
- Add To MetaCart
-
Semantic Predicate Types and Approximation for Class-based Object Oriented Programming
- … analysis of Java bytecode has been done [2], however our system aims at performing such an analysis…
- Add To MetaCart
Showing 1 through 4.
