HOME > Detail View

Detail View

Higher order operational techniques in semantics

Higher order operational techniques in semantics

Material type
단행본
Personal Author
Gordon, Andrew D. Pitts, A. M. (Andrew M.)
Corporate Author
Isaac Newton Institute for Mathematical Sciences.
Title Statement
Higher order operational techniques in semantics / edited by Andrew D. Gordon and Andrew M. Pitts.
Publication, Distribution, etc
Cambridge, U.K. ;   New York, NY, USA :   Cambridge University Press,   1998.  
Physical Medium
vii, 390 p. : ill. ; 24 cm.
Series Statement
Publications of the Newton Institute ;12
ISBN
0521631688 (hbk.) 9780521631686 (hbk.)
General Note
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.  
Bibliography, Etc. Note
Includes bibliographical references.
Subject Added Entry-Topical Term
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

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 004.015113 H6382 Accession No. 121146974 Availability Available Due Date Make a Reservation Service B M

Contents information

Table of Contents

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.


Information Provided By: : Aladin

New Arrivals Books in Related Fields

김종원 (2020)