HOME > 상세정보

상세정보

Formal syntax and semantics of Java

Formal syntax and semantics of Java (2회 대출)

자료유형
단행본
개인저자
Alves-Foss, James , 1964-
서명 / 저자사항
Formal syntax and semantics of Java / Jim Alves-Foss (ed.).
발행사항
Berlin ;   New York :   Springer,   c1999.  
형태사항
viii, 404 p. : ill. ; 24 cm.
총서사항
Lecture notes in computer science, 0302-9743 ; 1523
ISBN
3540661581 (softcover : alk.paper) :
서지주기
Includes bibliographical references.
일반주제명
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

소장정보

No. 소장처 청구기호 등록번호 도서상태 반납예정일 예약 서비스
No. 1 소장처 과학도서관/Sci-Info(2층서고)/ 청구기호 005.133 F723 등록번호 121042428 도서상태 대출가능 반납예정일 예약 서비스 B M

컨텐츠정보

목차

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.


정보제공 : Aladin

관련분야 신착자료

이창현 (2021)