skip to content
Higher order operational techniques in semantics Preview this item
ClosePreview this item
Checking...

Higher order operational techniques in semantics

Author: Andrew D Gordon; A M Pitts; Isaac Newton Institute for Mathematical Sciences.
Publisher: Cambridge, U.K. ; New York, NY, USA : Cambridge University Press, 1998.
Series: Publications of the Newton Institute, 12.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Summary:

A 1998 collection of original articles about developments in operational semantics for higher order programming languages by some of the leading researchers in the field. It surveys and introduces  Read more...

Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Material Type: Conference publication, Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Andrew D Gordon; A M Pitts; Isaac Newton Institute for Mathematical Sciences.
ISBN: 0521631688 9780521631686
OCLC Number: 37806025
Notes: 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.
Description: vii, 390 pages : illustrations ; 24 cm.
Contents: 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.
Series Title: Publications of the Newton Institute, 12.
Responsibility: edited by Andrew D. Gordon and Andrew M. Pitts.
More information:

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/37806025> # Higher order operational techniques in semantics
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "37806025" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/enk> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/435696011#Place/cambridge_u_k> ; # Cambridge, U.K.
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/435696011#Place/new_york_ny_usa> ; # New York, NY, USA
   schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
   schema:about <http://experiment.worldcat.org/entity/work/data/435696011#Topic/informatique> ; # Informatique
   schema:about <http://id.worldcat.org/fast/1078716> ; # Programming languages (Electronic computers)--Semantics
   schema:about <http://experiment.worldcat.org/entity/work/data/435696011#Topic/semantiek> ; # Semantiek
   schema:about <http://id.worldcat.org/fast/906956> ; # Electronic data processing
   schema:about <http://experiment.worldcat.org/entity/work/data/435696011#Topic/programmeertalen> ; # Programmeertalen
   schema:about <http://id.loc.gov/authorities/subjects/sh85107316> ; # Programming languages (Electronic computers)--Semantics
   schema:about <http://experiment.worldcat.org/entity/work/data/435696011#Topic/logica> ; # Logica
   schema:about <http://dewey.info/class/004.015113/e21/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/435696011#Topic/logique_symbolique_et_mathematique> ; # Logique symbolique et mathématique
   schema:about <http://experiment.worldcat.org/entity/work/data/435696011#Topic/langages_de_programmation_semantique> ; # Langages de programmation--Sémantique
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/57810377> ; # Andrew D. Gordon
   schema:contributor <http://viaf.org/viaf/51559924> ; # Andrew M. Pitts
   schema:contributor <http://viaf.org/viaf/153761539> ; # Isaac Newton Institute for Mathematical Sciences.
   schema:datePublished "1998" ;
   schema:description "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."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/435696011> ;
   schema:genre "Conference publication"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/435696011#Series/publications_of_the_newton_institute> ; # Publications of the Newton Institute ;
   schema:name "Higher order operational techniques in semantics"@en ;
   schema:productID "37806025" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/37806025#PublicationEvent/cambridge_u_k_new_york_ny_usa_cambridge_university_press_1998> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/435696011#Agent/cambridge_university_press> ; # Cambridge University Press
   schema:url <http://catdir.loc.gov/catdir/toc/cam027/97032339.html> ;
   schema:workExample <http://worldcat.org/isbn/9780521631686> ;
   umbel:isLike <http://bnb.data.bl.uk/id/resource/GB9813343> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/37806025> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/435696011#Agent/cambridge_university_press> # Cambridge University Press
    a bgn:Agent ;
   schema:name "Cambridge University Press" ;
    .

<http://experiment.worldcat.org/entity/work/data/435696011#Place/cambridge_u_k> # Cambridge, U.K.
    a schema:Place ;
   schema:name "Cambridge, U.K." ;
    .

<http://experiment.worldcat.org/entity/work/data/435696011#Place/new_york_ny_usa> # New York, NY, USA
    a schema:Place ;
   schema:name "New York, NY, USA" ;
    .

<http://experiment.worldcat.org/entity/work/data/435696011#Series/publications_of_the_newton_institute> # Publications of the Newton Institute ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/37806025> ; # Higher order operational techniques in semantics
   schema:name "Publications of the Newton Institute ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/435696011#Topic/langages_de_programmation_semantique> # Langages de programmation--Sémantique
    a schema:Intangible ;
   schema:name "Langages de programmation--Sémantique"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/435696011#Topic/logique_symbolique_et_mathematique> # Logique symbolique et mathématique
    a schema:Intangible ;
   schema:name "Logique symbolique et mathématique"@fr ;
    .

<http://id.loc.gov/authorities/subjects/sh85107316> # Programming languages (Electronic computers)--Semantics
    a schema:Intangible ;
   schema:name "Programming languages (Electronic computers)--Semantics"@en ;
    .

<http://id.worldcat.org/fast/1002068> # Logic, Symbolic and mathematical
    a schema:Intangible ;
   schema:name "Logic, Symbolic and mathematical"@en ;
    .

<http://id.worldcat.org/fast/1078716> # Programming languages (Electronic computers)--Semantics
    a schema:Intangible ;
   schema:name "Programming languages (Electronic computers)--Semantics"@en ;
    .

<http://id.worldcat.org/fast/906956> # Electronic data processing
    a schema:Intangible ;
   schema:name "Electronic data processing"@en ;
    .

<http://viaf.org/viaf/153761539> # Isaac Newton Institute for Mathematical Sciences.
    a schema:Organization ;
   schema:name "Isaac Newton Institute for Mathematical Sciences." ;
    .

<http://viaf.org/viaf/51559924> # Andrew M. Pitts
    a schema:Person ;
   schema:familyName "Pitts" ;
   schema:givenName "Andrew M." ;
   schema:givenName "A. M." ;
   schema:name "Andrew M. Pitts" ;
    .

<http://viaf.org/viaf/57810377> # Andrew D. Gordon
    a schema:Person ;
   schema:familyName "Gordon" ;
   schema:givenName "Andrew D." ;
   schema:name "Andrew D. Gordon" ;
    .

<http://worldcat.org/isbn/9780521631686>
    a schema:ProductModel ;
   schema:isbn "0521631688" ;
   schema:isbn "9780521631686" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.