Interprocedural analysis for JVML verification (2002)
by
William Retert
,
John Boyl
| Venue: | Proceedings of the 4th ECOOP Workshop on Formal Techniques for Java-like Programs |
| Citations: | 1 - 0 self |
BibTeX
@INPROCEEDINGS{Retert02interproceduralanalysis,
author = {William Retert and John Boyl},
title = {Interprocedural analysis for JVML verification},
booktitle = {Proceedings of the 4th ECOOP Workshop on Formal Techniques for Java-like Programs},
year = {2002}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Abstract. Some of the problems encountered in the verification of subroutines in the Java Virtual Machine Language (JVML) are similar to problems already solved for interprocedural analysis in high level languages. This naturally leads to the question of whether techniques for the latter may be successfully applied to the former. To this end, we apply a general framework for interprocedural abstract interpretation to JVML0, a subset of JVML that isolates subroutines. 1
