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. : MIT Press, 2001.
Series: Foundations of computing.
Edition/Format:   Print book : English : 5. printView all editions and formats
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 Seiten : Diagramme.
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://id.loc.gov/vocabulary/countries/mau> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/806781523#Place/cambridge_mass> ; # Cambridge, Mass.
    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://viaf.org/viaf/54219188> ; # 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_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#Place/cambridge_mass> # Cambridge, Mass.
    a schema:Place ;
    schema:name "Cambridge, Mass." ;
    .

<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://experiment.worldcat.org/entity/work/data/806781523#Topic/formale_semantik> # Formale Semantik
    a schema:Intangible ;
    schema:name "Formale Semantik" ;
    .

<http://experiment.worldcat.org/entity/work/data/806781523#Topic/programmiersprache> # Programmiersprache
    a schema:Intangible ;
    schema:name "Programmiersprache" ;
    .

<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://viaf.org/viaf/54219188> # Glynn Winskel
    a schema:Person ;
    schema:familyName "Winskel" ;
    schema:givenName "Glynn" ;
    schema:name "Glynn Winskel" ;
    .

<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.