Dynamic Denotational Semantics of Java

Authors:
Jim Alves-Foss;Fong Shing Lam
Affiliations:
-;-
Venue:
Formal Syntax and Semantics of Java
Year:
1999

Citing 4
Cited 3

Principles of Programming Languages

Principles of Programming Languages
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory

Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
Java Virtual Machine Specification

Java Virtual Machine Specification
The Java Language Specification

The Java Language Specification

Constructive Foundations for Featherweight Java

PTCS '01 Proceedings of the International Seminar on Proof Theory in Computer Science
Game semantics for interface middleweight Java

Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Semantic Types and Approximation for Featherweight Java

Theoretical Computer Science

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.