Higher order operational techniques in semantics /
Gordon, Andrew D.
Pitts, A. M.(Andrew M.)
Isaac Newton Institute for Mathematical Sciences.
Cambridge, U.K. ; New York, NY, : Cambridge University Press,
1998.
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.
Operational equivalences for untyped and polymorphic object calculi / A.D. Gordon -- Semantics for core Concurrent ML using computation types / A. Jeffrey -- Relational reasoning about contexts / S.B. Lassen -- Labelling techniques and typed fixed-point operators / J.C. Mitchell, M. Hoang and B.T. Howard -- Semantics of memory management for polymorphic languages / G. Morrisett and R. Harper -- Operational reasoning for functions with local state / A.M. Pitts and I.D.B. Stark -- Improvement theory and its applications / D. Sands -- The coverage of operational semantics / S.F. Smith -- Reasoning about functions with effects / C. Talcott.
Includes bibliographical references.
Electronic data processing.
Programming languages (Electronic computers)
Logic, Symbolic and mathematical.
Electronic data processing.
Logic, Symbolic and mathematical.
Programming languages (Electronic computers)