Array modeling in Java virtual machine

Authors:
Wu Weimin;Li Kailun;Su Qing
Affiliations:
Computer Faculty, Guangdong University of Technology, Guangzhou, China;Guangzhou Branch, People's Bank of China, Guangzhou, China;-
Venue:
APPT'07 Proceedings of the 7th international conference on Advanced parallel processing technologies
Year:
2007

Citing 5
Cited 0

Evolving algebras 1993: Lipari guide

Specification and validation methods
Modular design for the Java virtual machine architecture

Architecture design and validation methods
Java Virtual Machine Specification

Java Virtual Machine Specification
The Java Language Specification

The Java Language Specification
Defining the Java Virtual Machine as Platform for Provably Correct Java Compilation

MFCS '98 Proceedings of the 23rd International Symposium on Mathematical Foundations of Computer Science

Quantified Score

Hi-index	0.00

Visualization

Abstract

Array is an important feature in Java and Java Virtual Machine. In spite of its importance, it has not been modeled by any existing Java Virtual Machine Models. In this paper, we define an extending model which uses an existing model as a basis and give the hierarchy of these two models, to model the array. In the extending model, we model the array in three steps. The first step is adding array related instructions in a formal way. The second step is refining the type compatibility to include array types. The last step is implementing array loading process also in a formal way. In the last part of thesis, we give the future work of extending other important features in Java and Java Virtual Machine.