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 nal section of the chapter. The abstract syntax described in Chapter 1 tells us how to construct a grammatically correct program. Every syntactically correct program describes an environment that provides all the information about what to do during program execution. The semantics presented in this chapter, formalizes the de nition of Java program beahior as de ned in the Java Language Speci cation JLS 1 .

• Type: Conference
• Year: 1999
• Where: JAVA
• Authors: Jim Alves-Foss, Fong Shing Lam
• Keywords: Correct Program, Dynamic Denotational Semantics, JAVA 1999, JAVA Programming Language, Programming Languages