Towards an algebraic specification of the Java']Java Virtual Machine

被引：0

作者：

Stephenson, K ^{[1
]}

机构：

[1] Univ Wales, Dept Comp Sci, Swansea SA2 8PP, W Glam, Wales

来源：

PROSPECTS FOR HARDWARE FOUNDATIONS | 1998年 / 1546卷

关键词：

D O I：

暂无

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

We develop an algebraic specification of the architecture of an abstract and simplified version of the Java Virtual Machine (JVM). This concentration on the implementation-independent features of the machine allows us to build a clean and easily comprehensible model in which its structure is emphasised. We then axiomatise the semantics of programs operating on this architecture. We also consider how we can concretise this abstract model which provides us with a firm foundation for exploring the entire JVM and thus of analysing the correctness of Java implementations.

引用

页码：236 / 277

页数：42

共 31 条

[1] ALGEBRAIC SPECIFICATIONS OF COMPUTABLE AND SEMICOMPUTABLE DATA-TYPES
BERGSTRA, JA
TUCKER, JV
[J]. THEORETICAL COMPUTER SCIENCE, 1987, 50 (02) : 137 - 181
[2] Börger E, 1998, LECT NOTES COMPUT SC, V1450, P17, DOI 10.1007/BFb0055755
[3] COHEN RM, 1997, DEFENSIVE JAVA VIRTU
[4] DAVIDSON JW, 1984, ACM T PROGR LANG SYS, V6, P505, DOI 10.1145/1780.1783
[5] FREUND SN, 1998, IN PRESS ACM C OBJ O
[6] ORDER-SORTED ALGEBRA .1. EQUATIONAL DEDUCTION FOR MULTIPLE INHERITANCE, OVERLOADING, EXCEPTIONS AND PARTIAL OPERATIONS
GOGUEN, JA
MESEGUER, J
[J]. THEORETICAL COMPUTER SCIENCE, 1992, 105 (02) : 217 - 273
[7] INITIAL ALGEBRA SEMANTICS AND CONTINUOUS ALGEBRAS
GOGUEN, JA
THATCHER, JW
WAGNER, EG
WRIGHT, JB
[J]. JOURNAL OF THE ACM, 1977, 24 (01) : 68 - 95
[8] GOLDBERG A, 1998, IN PRESS P 5 ACM C C
[9] GOSLING J, 1995, SIGPLAN NOTICES, V30, P111, DOI 10.1145/202530.202541
[10] Algebraic models of microprocessors - Architecture and organisation
Harman, NA
Tucker, JV
[J]. ACTA INFORMATICA, 1996, 33 (05) : 421 - 456

← 1 2 3 4 →