skip to content
Domain-theoretic foundations of functional programming Preview this item
ClosePreview this item
Checking...

Domain-theoretic foundations of functional programming

Author: Thomas Streicher
Publisher: Hackensack, NJ : World Scientific, ©2006.
Edition/Format:   Print book : EnglishView all editions and formats
Database:WorldCat
Summary:
"This textbook provides a basis for a PhD course on domain-theoretic semantics of functional programming languages and their meta-mathematical properties. It introduces basic domain theory and the technique of logical relations as developed by Scott and Plotkin. The solution of recursive domain equations is explained in detail. A complete discussion of the famous full abstraction problem for PCF (a functional Kernel  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

Additional Physical Format: Online version:
Streicher, Thomas, 1958-
Domain-theoretic foundations of functional programming.
Hackensack, NJ : World Scientific, ©2006
(OCoLC)696257429
Material Type: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Thomas Streicher
ISBN: 9812701427 9789812701428
OCLC Number: 82212913
Description: x, 120 pages : illustrations ; 24 cm
Contents: PCF and its Operational Semantics --
The Scott Model of PCF --
Basic Domain Theory --
Domain Model of PCF --
LCF --
A Logic of Computable Functionals --
Computational Adequacy --
Milner's Context Lemma --
The Flul Abstraction Problem --
Logical Relations --
Some Structural Properties of the Domain --
Slutons of Recursive Domain Equations --
Characterisation of Fully Abstract Models --
Sequential Domains as a Model of PCF
Responsibility: Thomas Streicher.
More information:

Abstract:

Provides a basis for a PhD course on domain-theoretic semantics of functional programming languages and their meta-mathematical properties. This book introduces basic domain theory and technique of  Read more...

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/82212913> # Domain-theoretic foundations of functional programming
    a schema:Book, schema:CreativeWork ;
    library:oclcnum "82212913" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/66848571#Place/hackensack_nj> ; # Hackensack, NJ
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/nju> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/66848571#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://id.loc.gov/authorities/subjects/sh85107316> ; # Programming languages (Electronic computers)--Semantics
    schema:about <http://id.loc.gov/authorities/subjects/sh85042295> ; # Computer science--Mathematics
    schema:about <http://experiment.worldcat.org/entity/work/data/66848571#Topic/domein_wiskunde> ; # Domein (wiskunde)
    schema:about <http://experiment.worldcat.org/entity/work/data/66848571#Topic/functionele_programmering> ; # Functionele programmering
    schema:about <http://experiment.worldcat.org/entity/work/data/66848571#Topic/informatique_mathematiques> ; # Informatique--Mathématiques
    schema:about <http://dewey.info/class/005.131/e22/> ;
    schema:about <http://id.worldcat.org/fast/872460> ; # Computer science--Mathematics
    schema:bookFormat bgn:PrintBook ;
    schema:copyrightYear "2006" ;
    schema:creator <http://viaf.org/viaf/112146100> ; # Thomas Streicher
    schema:datePublished "2006" ;
    schema:description "PCF and its Operational Semantics -- The Scott Model of PCF -- Basic Domain Theory -- Domain Model of PCF -- LCF -- A Logic of Computable Functionals -- Computational Adequacy -- Milner's Context Lemma -- The Flul Abstraction Problem -- Logical Relations -- Some Structural Properties of the Domain -- Slutons of Recursive Domain Equations -- Characterisation of Fully Abstract Models -- Sequential Domains as a Model of PCF"@en ;
    schema:description ""This textbook provides a basis for a PhD course on domain-theoretic semantics of functional programming languages and their meta-mathematical properties. It introduces basic domain theory and the technique of logical relations as developed by Scott and Plotkin. The solution of recursive domain equations is explained in detail. A complete discussion of the famous full abstraction problem for PCF (a functional Kernel language due to Scott and Plotkin) is given including a construction of the fully abstract Milner model using Kripke logical relations. A final chapter introduces computability in Scott domains and shows that this model is fully abstract and universal for appropriate extensions of PCF by parallel language constructs."--Publisher's website."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/66848571> ;
    schema:inLanguage "en" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/696257429> ;
    schema:name "Domain-theoretic foundations of functional programming"@en ;
    schema:productID "82212913" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/82212913#PublicationEvent/hackensack_nj_world_scientific_2006> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/66848571#Agent/world_scientific> ; # World Scientific
    schema:url <http://catdir.loc.gov/catdir/toc/fy0715/2007298163.html> ;
    schema:workExample <http://worldcat.org/isbn/9789812701428> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/82212913> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/66848571#Agent/world_scientific> # World Scientific
    a bgn:Agent ;
    schema:name "World Scientific" ;
    .

<http://experiment.worldcat.org/entity/work/data/66848571#Place/hackensack_nj> # Hackensack, NJ
    a schema:Place ;
    schema:name "Hackensack, NJ" ;
    .

<http://experiment.worldcat.org/entity/work/data/66848571#Topic/domein_wiskunde> # Domein (wiskunde)
    a schema:Intangible ;
    schema:name "Domein (wiskunde)"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/66848571#Topic/functionele_programmering> # Functionele programmering
    a schema:Intangible ;
    schema:name "Functionele programmering"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/66848571#Topic/informatique_mathematiques> # Informatique--Mathématiques
    a schema:Intangible ;
    schema:name "Informatique--Mathématiques"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/66848571#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://id.loc.gov/authorities/subjects/sh85042295> # Computer science--Mathematics
    a schema:Intangible ;
    schema:name "Computer science--Mathematics"@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://id.worldcat.org/fast/872460> # Computer science--Mathematics
    a schema:Intangible ;
    schema:name "Computer science--Mathematics"@en ;
    .

<http://viaf.org/viaf/112146100> # Thomas Streicher
    a schema:Person ;
    schema:birthDate "1958" ;
    schema:familyName "Streicher" ;
    schema:givenName "Thomas" ;
    schema:name "Thomas Streicher" ;
    .

<http://worldcat.org/isbn/9789812701428>
    a schema:ProductModel ;
    schema:isbn "9812701427" ;
    schema:isbn "9789812701428" ;
    .

<http://www.worldcat.org/oclc/696257429>
    a schema:CreativeWork ;
    rdfs:label "Domain-theoretic foundations of functional programming." ;
    schema:description "Online version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/82212913> ; # Domain-theoretic foundations of functional programming
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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