skip to content
The formal semantics of programming languages : an introduction Preview this item
ClosePreview this item
Checking...

The formal semantics of programming languages : an introduction

Author: Glynn Winskel
Publisher: Cambridge, Mass. [u.a.] : MIT Press, 2001.
Series: Foundations of computing.
Edition/Format:   Print book : English : 5. printView all editions and formats
Database:WorldCat
Summary:

The Formal Semantics of Programming Languages provides the basic mathematical techniques necessary for those who are beginning a study of the semantics and logics of programming languages.

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

Document Type: Book
All Authors / Contributors: Glynn Winskel
ISBN: 0262731037 9780262731034 0262231697 9780262231695
OCLC Number: 248058743
Notes: Literaturverz. S. [353] - 356.
Description: XVIII, 361 S : graph. Darst.
Contents: Basic set theory --
Introduction to operational semantics --
Some principles of induction --
Inductive definitions --
The denotational semantics of IMP --
The axiomatic semantics of IMP --
Completeness of the Hoare rules --
Introduction to domain theory --
Recursion equations --
Techniques for recursion --
Languages with highers types --
Information systems --
Recursive types --
Nondeterminism and parallelism --
Incompleteness and undecidability.
Series Title: Foundations of computing.
Responsibility: Glynn Winskel.

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/248058743> # The formal semantics of programming languages : an introduction
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "248058743" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/806781523#Place/cambridge_mass_u_a> ; # Cambridge, Mass. u.a.
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/xxu> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/806781523#Topic/semantik> ; # Semantik
   schema:about <http://experiment.worldcat.org/entity/work/data/806781523#Topic/programmiersprache> ; # Programmiersprache
   schema:about <http://id.loc.gov/authorities/subjects/sh85107316> ; # Programming languages (Electronic computers)--Semantics
   schema:about <http://experiment.worldcat.org/entity/work/data/806781523#Topic/formale_semantik> ; # Formale Semantik
   schema:about <http://dewey.info/class/005.131/> ;
   schema:about <http://id.worldcat.org/fast/1078716> ; # Programming languages (Electronic computers)--Semantics
   schema:bookEdition "5. print." ;
   schema:bookFormat bgn:PrintBook ;
   schema:creator <http://experiment.worldcat.org/entity/work/data/806781523#Person/winskel_glynn> ; # Glynn Winskel
   schema:datePublished "2001" ;
   schema:description "Basic set theory -- Introduction to operational semantics -- Some principles of induction -- Inductive definitions -- The denotational semantics of IMP -- The axiomatic semantics of IMP -- Completeness of the Hoare rules -- Introduction to domain theory -- Recursion equations -- Techniques for recursion -- Languages with highers types -- Information systems -- Recursive types -- Nondeterminism and parallelism -- Incompleteness and undecidability." ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/806781523> ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/806781523#Series/foundations_of_computing> ; # Foundations of computing.
   schema:name "The formal semantics of programming languages : an introduction" ;
   schema:productID "248058743" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/248058743#PublicationEvent/cambridge_mass_u_a_mit_press_2001> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/806781523#Agent/mit_press> ; # MIT Press
   schema:workExample <http://worldcat.org/isbn/9780262731034> ;
   schema:workExample <http://worldcat.org/isbn/9780262231695> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/248058743> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/806781523#Person/winskel_glynn> # Glynn Winskel
    a schema:Person ;
   schema:familyName "Winskel" ;
   schema:givenName "Glynn" ;
   schema:name "Glynn Winskel" ;
    .

<http://experiment.worldcat.org/entity/work/data/806781523#Place/cambridge_mass_u_a> # Cambridge, Mass. u.a.
    a schema:Place ;
   schema:name "Cambridge, Mass. u.a." ;
    .

<http://experiment.worldcat.org/entity/work/data/806781523#Series/foundations_of_computing> # Foundations of computing.
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/248058743> ; # The formal semantics of programming languages : an introduction
   schema:name "Foundations of computing." ;
   schema:name "Foundations of computing" ;
    .

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

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

<http://worldcat.org/isbn/9780262231695>
    a schema:ProductModel ;
   schema:isbn "0262231697" ;
   schema:isbn "9780262231695" ;
    .

<http://worldcat.org/isbn/9780262731034>
    a schema:ProductModel ;
   schema:isbn "0262731037" ;
   schema:isbn "9780262731034" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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