A Formal Executable Semantics for Java

A Formal Executable Semantics for Java (1990)

Cached

Download Links

[ftp-sop.inria.fr]

by Isabelle Attali , Denis Caromel , Marjorie Russo

Venue:	Princeton University
Citations:	18 - 2 self

Versions

Version History

Metadata Version 3

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	A Formal Executable Semantics for Java	user correction - Legacy Corrections
AUTHOR NAME	Isabelle Attali	SVM HeaderParse 0.1
AUTHOR AFFIL	INRIA Sophia Antipolis,; CNRS- I3S- Univ. Nice Sophia Antipolis,	SVM HeaderParse 0.2
AUTHOR ADDR	BP 93, 06902 Sophia Antipolis Cedex- France	SVM HeaderParse 0.1
AUTHOR NAME	Denis Caromel	SVM HeaderParse 0.1
AUTHOR AFFIL	INRIA Sophia Antipolis,; CNRS- I3S- Univ. Nice Sophia Antipolis,	SVM HeaderParse 0.2
AUTHOR ADDR	BP 93, 06902 Sophia Antipolis Cedex- France	SVM HeaderParse 0.1
AUTHOR NAME	Marjorie Russo	SVM HeaderParse 0.1
AUTHOR AFFIL	INRIA Sophia Antipolis,; CNRS- I3S- Univ. Nice Sophia Antipolis,	SVM HeaderParse 0.2
AUTHOR ADDR	BP 93, 06902 Sophia Antipolis Cedex- France	SVM HeaderParse 0.1
ABSTRACT	Some of the main features of the Java language are that it is object-oriented and multi-threaded. This article presents a formal semantics of a large subset of Java, including inheritance, dynamic linking and multi-threading. To describe the object-oriented features, we use a big-step semantics. The semantics of the concurrency is dened in a small-step semantics, using a structural operational semantics. This semantics is directly executable using the Centaur system. An interactive programming environment, which provides textual and graphical visualization tools during program execution, is derived from this semantics.	user correction - Legacy Corrections
YEAR	1990	user correction - Legacy Corrections
VENUE	Princeton University	INFERENCE
VENUE TYPE	CONFERENCE	INFERENCE
TECH	Technical Report	INFERENCE
CITATIONS	19 found	ParsCit 1.0