skip to content
Comparative Metric Semantics of Programming Languages : Nondeterminism and Recursion Preview this item
ClosePreview this item
Checking...

Comparative Metric Semantics of Programming Languages : Nondeterminism and Recursion

Author: Franck Breugel
Publisher: Boston, MA : Birkhäuser Boston, 1996.
Series: Progress in theoretical computer science.
Edition/Format:   eBook : Bibliographic data : EnglishView all editions and formats
Database:WorldCat
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

Genre/Form: Electronic books
Additional Physical Format: Printed edition:
Material Type: Bibliographic data, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Franck Breugel
ISBN: 9781461241607 146124160X 9781461286806 1461286808
OCLC Number: 840279598
Description: 1 online resource (244 pages).
Contents: Nondeterminism and recursion.- Operational semantics.- Denotational semantics.- Metric spaces.- Comparative semantics.- Bibliographic notes.- I.- 1 Domain equations.- 1.1 Building domain equations.- 1.2 Solving domain equations.- 1.3 Bibliographic notes.- 2 Linear and branching domains.- 2.1 Two linear domains.- 2.2 Comparison of the linear domains.- 2.3 Three branching domains.- 2.4 Comparison of the branching domains.- 2.5 Relating linear and branching domains.- 2.6 Bibliographic notes.- II.- 3 Operational semantics.- 3.1 Labelled transition systems.- 3.2 Operational semantics.- 3.3 Linear semantics transformations.- 3.3.1 Compactness preserving.- 3.3.2 Closedness preserving.- 3.4 Branching semantics transformations.- 3.4.1 Compactness preserving.- 3.4.2 Closedness preserving.- 3.5 Relating semantics transformations.- 3.6 Bibliographic notes.- 4 Nondeterministic choice.- 4.1 Language definition.- 4.2 Operational semantics.- 4.3 Denotational semantics.- 4.4 Relating O and D.- 4.5 Bibliographic notes.- 5 Random assignment.- 5.1 Language definition.- 5.2 Operational semantics.- 5.3 Denotational semantics.- 5.4 Relating O and D.- 5.5 Bibliographic notes.- III.- 6 Generalized finiteness conditions.- 6.1 Metric labelled transition systems.- 6.2 Operational semantics.- 6.3 Linear semantics transformations.- 6.3.1 Compactness and nonexpansiveness preserving.- 6.3.2 Closedness and nonexpansiveness preserving.- 6.4 Branching semantics transformations.- 6.5 Relating semantics transformations.- 6.6 Bibliographic notes.- 7 Dense choice.- 7.1 Language definition.- 7.2 Operational semantics.- 7.3 Denotational semantics.- 7.4 Relating O and D.- 7.5 Bibliographic notes.- 8 Second order communication.- 8.1 Language definition.- 8.2 Operational semantics.- 8.3 Denotational semantics.- 8.4 Relating O and D.- 8.4.1 Intermediate semantics.- 8.4.2 Relating I and D.- 8.4.3 Relating O and I.- 8.5 Bibliographic notes.- A Metric spaces.- A.1 Metrics.- A.2 Completeness and contractiveness.- A.3 Hyperspaces.- A.4 Nonexpansive functions.- A.5 Bibliographic notes.- Author index.
Series Title: Progress in theoretical computer science.
Responsibility: by Franck Breugel.
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/840279598> # Comparative Metric Semantics of Programming Languages : Nondeterminism and Recursion
    a schema:CreativeWork, schema:Book ;
    library:oclcnum "840279598" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/mau> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/866845574#Place/boston_ma> ; # Boston, MA
    rdfs:comment "Unknown 'gen' value: bdt" ;
    schema:about <http://id.worldcat.org/fast/872527> ; # Computer software
    schema:about <http://id.worldcat.org/fast/872460> ; # Computer science--Mathematics
    schema:about <http://id.worldcat.org/fast/1012163> ; # Mathematics
    schema:about <http://id.worldcat.org/fast/872451> ; # Computer science
    schema:about <http://id.loc.gov/authorities/subjects/sh85042295> ; # Computer science--Mathematics
    schema:about <http://dewey.info/class/004.0151/e23/> ;
    schema:bookFormat schema:EBook ;
    schema:creator <http://viaf.org/viaf/118356911> ; # Franck Breugel
    schema:datePublished "1996" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/866845574> ;
    schema:genre "Electronic books"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/866845574#Series/progress_in_theoretical_computer_science> ; # Progress in theoretical computer science.
    schema:isSimilarTo <http://worldcat.org/entity/work/data/866845574#CreativeWork/> ;
    schema:name "Comparative Metric Semantics of Programming Languages : Nondeterminism and Recursion"@en ;
    schema:productID "840279598" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/840279598#PublicationEvent/boston_ma_birkhauser_boston_1996> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/866845574#Agent/birkhauser_boston> ; # Birkhäuser Boston
    schema:url <http://dx.doi.org/10.1007/978-1-4612-4160-7> ;
    schema:workExample <http://worldcat.org/isbn/9781461286806> ;
    schema:workExample <http://dx.doi.org/10.1007/978-1-4612-4160-7> ;
    schema:workExample <http://worldcat.org/isbn/9781461241607> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/840279598> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/866845574#Agent/birkhauser_boston> # Birkhäuser Boston
    a bgn:Agent ;
    schema:name "Birkhäuser Boston" ;
    .

<http://experiment.worldcat.org/entity/work/data/866845574#Series/progress_in_theoretical_computer_science> # Progress in theoretical computer science.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/840279598> ; # Comparative Metric Semantics of Programming Languages : Nondeterminism and Recursion
    schema:name "Progress in theoretical computer science." ;
    schema:name "Progress in Theoretical Computer Science" ;
    .

<http://id.loc.gov/authorities/subjects/sh85042295> # Computer science--Mathematics
    a schema:Intangible ;
    schema:name "Computer science--Mathematics"@en ;
    .

<http://id.worldcat.org/fast/1012163> # Mathematics
    a schema:Intangible ;
    schema:name "Mathematics"@en ;
    .

<http://id.worldcat.org/fast/872451> # Computer science
    a schema:Intangible ;
    schema:name "Computer science"@en ;
    .

<http://id.worldcat.org/fast/872460> # Computer science--Mathematics
    a schema:Intangible ;
    schema:name "Computer science--Mathematics"@en ;
    .

<http://id.worldcat.org/fast/872527> # Computer software
    a schema:Intangible ;
    schema:name "Computer software"@en ;
    .

<http://viaf.org/viaf/118356911> # Franck Breugel
    a schema:Person ;
    schema:familyName "Breugel" ;
    schema:givenName "Franck" ;
    schema:name "Franck Breugel" ;
    .

<http://worldcat.org/entity/work/data/866845574#CreativeWork/>
    a schema:CreativeWork ;
    schema:description "Printed edition:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/840279598> ; # Comparative Metric Semantics of Programming Languages : Nondeterminism and Recursion
    .

<http://worldcat.org/isbn/9781461241607>
    a schema:ProductModel ;
    schema:isbn "146124160X" ;
    schema:isbn "9781461241607" ;
    .

<http://worldcat.org/isbn/9781461286806>
    a schema:ProductModel ;
    schema:isbn "1461286808" ;
    schema:isbn "9781461286806" ;
    .

<http://www.worldcat.org/title/-/oclc/840279598>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/840279598> ; # Comparative Metric Semantics of Programming Languages : Nondeterminism and Recursion
    schema:dateModified "2016-09-12" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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