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: G Winskel
Publisher: Cambridge, Mass. : MIT Press, ©1993.
Series: Foundations of computing.
Edition/Format:   Print book : EnglishView 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. These techniques will allow students to invent, formalize, and justify rules with which to reason about a variety of programming languages. Although the treatment is elementary, several of the topics covered are drawn from recent  Read more...
Rating:

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

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

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

Details

Material Type: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: G Winskel
ISBN: 0262231697 9780262231695 0262731037 9780262731034
OCLC Number: 26764522
Description: xviii, 361 pages : illustrations ; 24 cm.
Series Title: Foundations of computing.
Responsibility: Glynn Winskel.
More information:

Abstract:

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. These techniques will allow students to invent, formalize, and justify rules with which to reason about a variety of programming languages. Although the treatment is elementary, several of the topics covered are drawn from recent research, including the vital area of concurency. The book contains many exercises ranging from simple to miniprojects. Starting with basic set theory, structural operational semantics is introduced as a way to define the meaning of programming languages along with associated proof techniques. Denotational and axiomatic semantics are illustrated on a simple language of while-programs, and fall proofs are given of the equivalence of the operational and denotational semantics and soundness and relative completeness of the axiomatic semantics. A proof of Godel's incompleteness theorem, which emphasizes the impossibility of achieving a fully complete axiomatic semantics, is included. It is supported by an appendix providing an introduction to the theory of computability based on while-programs. Following a presentation of domain theory, the semantics and methods of proof for several functional languages are treated. The simplest language is that of recursion equations with both call-by-value and call-by-name evaluation. This work is extended to lan guages with higher and recursive types, including a treatment of the eager and lazy lambda-calculi. Throughout, the relationship between denotational and operational semantics is stressed, and the proofs of the correspondence between the operation and denotational semantics are provided. The treatment of recursive types - one of the more advanced parts of the book - relies on the use of information systems to represent domains. The book concludes with a chapter on parallel programming languages, accompanied by a discussion of methods for specifying and verifying nondeterministic and parallel programs.

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/26764522> # The formal semantics of programming languages : an introduction
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "26764522" ;
   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/equation_recursive> ; # équation récursive
   schema:about <http://experiment.worldcat.org/entity/work/data/806781523#Topic/programmeertalen> ; # Programmeertalen
   schema:about <http://experiment.worldcat.org/entity/work/data/806781523#Topic/computers_software> ; # Computers (Software)
   schema:about <http://experiment.worldcat.org/entity/work/data/806781523#Topic/semantiek> ; # Semantiek
   schema:about <http://experiment.worldcat.org/entity/work/data/806781523#Topic/formale_semantik> ; # Formale Semantik
   schema:about <http://experiment.worldcat.org/entity/work/data/806781523#Topic/programmiersprache> ; # Programmiersprache
   schema:about <http://experiment.worldcat.org/entity/work/data/806781523#Thing/programming_languages> ; # Programming languages
   schema:about <http://experiment.worldcat.org/entity/work/data/806781523#Topic/theorie_domaine> ; # théorie domaine
   schema:about <http://experiment.worldcat.org/entity/work/data/806781523#Topic/recursion> ; # récursion
   schema:about <http://experiment.worldcat.org/entity/work/data/806781523#Topic/langages_de_programmation_semantique> ; # Langages de programmation--Sémantique
   schema:about <http://id.worldcat.org/fast/1078716> ; # Programming languages (Electronic computers)--Semantics
   schema:about <http://experiment.worldcat.org/entity/work/data/806781523#Topic/langage_programmation> ; # langage programmation
   schema:about <http://dewey.info/class/005.131/e20/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/806781523#Topic/lambda_calcul> ; # lambda calcul
   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/programmation_parallele> ; # programmation parallèle
   schema:about <http://experiment.worldcat.org/entity/work/data/806781523#Topic/semantik> ; # Semantik
   schema:about <http://experiment.worldcat.org/entity/work/data/806781523#Topic/induction> ; # induction
   schema:about <http://experiment.worldcat.org/entity/work/data/806781523#Topic/semantique_langage_programmation> ; # sémantique langage programmation
   schema:about <http://experiment.worldcat.org/entity/work/data/806781523#Topic/semantique_operationnelle> ; # sémantique opérationnelle
   schema:about <http://experiment.worldcat.org/entity/work/data/806781523#Topic/semantique_formelle> ; # sémantique formelle
   schema:about <http://experiment.worldcat.org/entity/work/data/806781523#Topic/semantica> ; # Semántica
   schema:about <http://experiment.worldcat.org/entity/work/data/806781523#Topic/semantique_denotationnelle> ; # sémantique dénotationnelle
   schema:about <http://experiment.worldcat.org/entity/work/data/806781523#Topic/theoreme_godel> ; # théorème Gödel
   schema:bookFormat bgn:PrintBook ;
   schema:copyrightYear "1993" ;
   schema:creator <http://viaf.org/viaf/54219188> ; # Glynn Winskel
   schema:datePublished "1993" ;
   schema:description "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. These techniques will allow students to invent, formalize, and justify rules with which to reason about a variety of programming languages. Although the treatment is elementary, several of the topics covered are drawn from recent research, including the vital area of concurency. The book contains many exercises ranging from simple to miniprojects. Starting with basic set theory, structural operational semantics is introduced as a way to define the meaning of programming languages along with associated proof techniques. Denotational and axiomatic semantics are illustrated on a simple language of while-programs, and fall proofs are given of the equivalence of the operational and denotational semantics and soundness and relative completeness of the axiomatic semantics. A proof of Godel's incompleteness theorem, which emphasizes the impossibility of achieving a fully complete axiomatic semantics, is included. It is supported by an appendix providing an introduction to the theory of computability based on while-programs. Following a presentation of domain theory, the semantics and methods of proof for several functional languages are treated. The simplest language is that of recursion equations with both call-by-value and call-by-name evaluation. This work is extended to lan guages with higher and recursive types, including a treatment of the eager and lazy lambda-calculi. Throughout, the relationship between denotational and operational semantics is stressed, and the proofs of the correspondence between the operation and denotational semantics are provided. The treatment of recursive types - one of the more advanced parts of the book - relies on the use of information systems to represent domains. The book concludes with a chapter on parallel programming languages, accompanied by a discussion of methods for specifying and verifying nondeterministic and parallel programs."@en ;
   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"@en ;
   schema:productID "26764522" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/26764522#PublicationEvent/cambridge_mass_mit_press_1993> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/806781523#Agent/mit_press> ; # MIT Press
   schema:url <http://www.gbv.de/dms/hebis-darmstadt/toc/26827263.pdf> ;
   schema:workExample <http://worldcat.org/isbn/9780262231695> ;
   schema:workExample <http://worldcat.org/isbn/9780262731034> ;
   umbel:isLike <http://bnb.data.bl.uk/id/resource/GB9417155> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/26764522> ;
    .


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/26764522> ; # 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#Thing/programming_languages> # Programming languages
    a schema:Thing ;
   schema:name "Programming languages" ;
    .

<http://experiment.worldcat.org/entity/work/data/806781523#Topic/computers_software> # Computers (Software)
    a schema:Intangible ;
   schema:name "Computers (Software)"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/806781523#Topic/equation_recursive> # équation récursive
    a schema:Intangible ;
   schema:name "équation récursive"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/806781523#Topic/langage_programmation> # langage programmation
    a schema:Intangible ;
   schema:name "langage programmation"@en ;
    .

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

<http://experiment.worldcat.org/entity/work/data/806781523#Topic/programmation_parallele> # programmation parallèle
    a schema:Intangible ;
   schema:name "programmation parallèle"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/806781523#Topic/semantique_denotationnelle> # sémantique dénotationnelle
    a schema:Intangible ;
   schema:name "sémantique dénotationnelle"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/806781523#Topic/semantique_formelle> # sémantique formelle
    a schema:Intangible ;
   schema:name "sémantique formelle"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/806781523#Topic/semantique_langage_programmation> # sémantique langage programmation
    a schema:Intangible ;
   schema:name "sémantique langage programmation"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/806781523#Topic/semantique_operationnelle> # sémantique opérationnelle
    a schema:Intangible ;
   schema:name "sémantique opérationnelle"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/806781523#Topic/theoreme_godel> # théorème Gödel
    a schema:Intangible ;
   schema:name "théorème Gödel"@en ;
    .

<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/1078716> # Programming languages (Electronic computers)--Semantics
    a schema:Intangible ;
   schema:name "Programming languages (Electronic computers)--Semantics"@en ;
    .

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