论文信息 - Dynamic Denotational Semantics of Java

Dynamic Denotational Semantics of Java

This chapter presents a dynamic denotational semantics of the Java programming language. This semantics covers almost the full range of the base language, excluding only concurrency and the API's. A discussion of these limitations is provided in the final section of the chapter.

Jim Alves-Foss | Fong Shing Lam

[1] Joseph E. Stoy,et al. Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory , 1981 .

[2] Guy L. Steele,et al. The Java Language Specification , 1996 .

[3] Guido D. Salvucci,et al. Ieee standard for binary floating-point arithmetic , 1985 .

[4] Frank Yellin,et al. The Java Virtual Machine Specification , 1996 .

[5] Ansi Ieee,et al. IEEE Standard for Binary Floating Point Arithmetic , 1985 .