HOME > Detail View

Detail View

Formal syntax and semantics of Java

Formal syntax and semantics of Java (Loan 2 times)

Material type
단행본
Personal Author
Alves-Foss, James , 1964-
Title Statement
Formal syntax and semantics of Java / Jim Alves-Foss (ed.).
Publication, Distribution, etc
Berlin ;   New York :   Springer,   c1999.  
Physical Medium
viii, 404 p. : ill. ; 24 cm.
Series Statement
Lecture notes in computer science, 0302-9743 ; 1523
ISBN
3540661581 (softcover : alk.paper) :
Bibliography, Etc. Note
Includes bibliographical references.
Subject Added Entry-Topical Term
Java (Computer program language) Programming languages (Electronic computers) -- Semantics. Java (Computer program language) Programming languages (Electronic computers) -- Semantics.
000 01212camuu22003374a 4500
001 000000671533
005 20000831133601
008 990526s1999 gw a b 000 0 eng
010 ▼a 99035369
015 ▼a GB99-49334
020 ▼a 3540661581 (softcover : alk.paper) : ▼c DEM 78.00
040 ▼a DLC ▼c DLC ▼d UKM ▼d OHX ▼d C#P ▼d TJC ▼d 211009
042 ▼a pcc
049 1 ▼l 121042428 ▼f 과학
050 0 0 ▼a QA76.73.J38 ▼b F67 1999
072 7 ▼a QA ▼2 lcco
082 0 0 ▼a 005.13/3 ▼2 21
090 ▼a 005.133 ▼b F723
245 0 0 ▼a Formal syntax and semantics of Java / ▼c Jim Alves-Foss (ed.).
260 ▼a Berlin ; ▼a New York : ▼b Springer, ▼c c1999.
300 ▼a viii, 404 p. : ▼b ill. ; ▼c 24 cm.
440 0 ▼a Lecture notes in computer science, ▼x 0302-9743 ; ▼v 1523
440 0 ▼a LNCS state-of-the-art survey
504 ▼a Includes bibliographical references.
650 0 ▼a Java (Computer program language)
650 0 ▼a Programming languages (Electronic computers) ▼x Semantics.
650 4 ▼a Java (Computer program language)
650 4 ▼a Programming languages (Electronic computers) ▼x Semantics.
700 1 ▼a Alves-Foss, James , ▼d 1964-
950 1 ▼b \49616

Holdings Information

No. Location Call Number Accession No. Availability Due Date Make a Reservation Service
No. 1 Location Science & Engineering Library/Sci-Info(Stacks2)/ Call Number 005.133 F723 Accession No. 121042428 Availability Available Due Date Make a Reservation Service B M

Contents information

Table of Contents

Formal Grammar for Java.- Formal Grammar for Java.- Type Soundness.- Describing the Semantics of Java and Proving Type Soundness.- Proving Java Type Soundness.- Machine-Checking the Java Specification: Proving Type-Safety.- Semantic Approaches.- An Event-Based Structural Operational Semantics of Multi-threaded Java.- Dynamic Denotational Semantics of Java.- A Programmer's Reduction Semantics for Classes and Mixins.- A Formal Specification of Java? Virtual Machine Instructions for Objects, Methods and Subroutines.- The Operational Semantics of a Java Secure Processor.- A Programmer Friendly Modular Definition of the Semantics of Java.


Information Provided By: : Aladin

New Arrivals Books in Related Fields

이창현 (2021)