HOME > 상세정보

상세정보

Higher order operational techniques in semantics

Higher order operational techniques in semantics

자료유형
단행본
개인저자
Gordon, Andrew D. Pitts, A. M. (Andrew M.)
단체저자명
Isaac Newton Institute for Mathematical Sciences.
서명 / 저자사항
Higher order operational techniques in semantics / edited by Andrew D. Gordon and Andrew M. Pitts.
발행사항
Cambridge, U.K. ;   New York, NY, USA :   Cambridge University Press,   1998.  
형태사항
vii, 390 p. : ill. ; 24 cm.
총서사항
Publications of the Newton Institute ;12
ISBN
0521631688 (hbk.) 9780521631686 (hbk.)
일반주기
Articles which develop many of the themes introduced at the workshop on Higher Order Operational Techniques in Semantics (HOOTS) that took place in Oct. 1995 as part of a six-month programme on semantics of computation at the Isaac Newton Institute for Mathematical Sciences, Cambridge, UK.  
Logo on t.p.: HOOTS.  
서지주기
Includes bibliographical references.
일반주제명
Electronic data processing. Programming languages (Electronic computers) -- Semantics. Logic, Symbolic and mathematical.
000 01815camuu2200397 a 4500
001 000045357082
005 20070523111032
008 971006s1998 enka b 100 0 eng
010 ▼a 97032339 //r98
020 ▼a 0521631688 (hbk.)
020 ▼a 9780521631686 (hbk.)
024 3 1 ▼a 9780521631686
035 ▼a (OCoLC)ocm37806025
035 ▼a (OCoLC)37806025
035 ▼a (KERIS)REF000004102982
040 ▼a DLC ▼c DLC ▼d DLC ▼d 211009
050 0 0 ▼a QA76 ▼b .H479 1998
082 0 4 ▼a 004/.01/5113 ▼2 22
090 ▼a 004.015113 ▼b H6382
245 0 0 ▼a Higher order operational techniques in semantics / ▼c edited by Andrew D. Gordon and Andrew M. Pitts.
260 ▼a Cambridge, U.K. ; ▼a New York, NY, USA : ▼b Cambridge University Press, ▼c 1998.
300 ▼a vii, 390 p. : ▼b ill. ; ▼c 24 cm.
440 0 ▼a Publications of the Newton Institute ; ▼v 12
500 ▼a Articles which develop many of the themes introduced at the workshop on Higher Order Operational Techniques in Semantics (HOOTS) that took place in Oct. 1995 as part of a six-month programme on semantics of computation at the Isaac Newton Institute for Mathematical Sciences, Cambridge, UK.
500 ▼a Logo on t.p.: HOOTS.
504 ▼a Includes bibliographical references.
650 0 ▼a Electronic data processing.
650 0 ▼a Programming languages (Electronic computers) ▼x Semantics.
650 0 ▼a Logic, Symbolic and mathematical.
700 1 ▼a Gordon, Andrew D.
700 1 ▼a Pitts, A. M. ▼q (Andrew M.)
710 2 ▼a Isaac Newton Institute for Mathematical Sciences.
945 ▼a KINS

소장정보

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

컨텐츠정보

목차

Introduction; 1. Operational reasoning about primitive objects A. Gordon; 2. Semantics for core concurrent ML with computation types A. Jeffrey; 3. Relational reasoning about contexts S. B. Lassen; 4. Labelling techniques and typed fixed-point operators J. Mitchell, M. Hoang and B. T. Howard; 5. Semantics of memory management for plymorphic languages G. Morrisett and R. Harper; 6. Operational reasoning for functional languages with local state A. Pitts, I. Stark; 7. Improvement theory and its applications D. Sands; 8. The coverage of operational semantics S. F. Smith; 9. Reasoning about functions with effects C. Talcott.


정보제공 : Aladin

관련분야 신착자료