Java and the Java Virtual Machine Definition, Verification, Validation
General Material Designation
[Book]
First Statement of Responsibility
Robert F. Stärk ; Joachim Schmid ; Egon Börger
EDITION STATEMENT
Edition Statement
Softcover reprint of the original 1st ed. 2001
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Berlin Springer Berlin
Date of Publication, Distribution, etc.
2014
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
x, 381 Seiten in 1 Teil 13 schw.-w. Illustrationen, 18 schw.-w. Tabellen 235 x 155 mm
CONTENTS NOTE
Text of Note
1. Introduction.- 1.1 The goals of the book.- 1.2 The contents of the book.- 1.3 Decomposing Java and the JVM.- 1.4 Sources and literature.- 2. Abstract State Machines.- 2.1 ASMs in a nutshell.- 2.2 Mathematical definition of ASMs.- 2.3 Notational conventions.- I. Java.- 3. The imperative core JavaI of Java.- 3.1 Static semantics of JavaI.- 3.2 Transition rules for JavaI.- 4. The procedural extension JavaC of JavaI.- 4.1 Static semantics of JavaC.- 4.2 Transition rules for JavaC.- 5. The object-oriented extension