skip to content
Algebraic Approaches to Program Semantics Preview this item
ClosePreview this item
Checking...

Algebraic Approaches to Program Semantics

Author: Ernest G Manes; Michael A Arbib
Publisher: New York, NY : Springer New York, 1986.
Series: Texts and Monographs in Computer Science, The AKM Series in Theoretical Computer Science.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Summary:

An important approach to semantics, pioneered by Floyd, Hoare, and Wirth, is called assertion semantics: given a specification of which assertions (preconditions) on input data should guarantee that  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

Genre/Form: Electronic books
Additional Physical Format: Print version:
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Ernest G Manes; Michael A Arbib
ISBN: 9781461249627 1461249627
OCLC Number: 852791941
Description: 1 online resource (351 pages).
Contents: 1 Denotational Semantics of Control --
1 An Introduction to Denotational Semantics --
2 An Introduction to Category Theory --
3 Partially Additive Semantics --
4 Assertion Semantics --
2 Semantics of Recursion --
5 Recursive Specifications --
6 Order Semantics of Recursion --
7 Canonical Fixed Points --
8 Partially Additive Semantics of Recursion --
9 Fixed Points in Metric Spaces --
3 Data Types --
10 Functors --
11 Recursive Specification of Data Types --
12 Parametric Specification --
13 Order Semantics of Data Types --
14 Equational Specification --
Epilogue --
Author Index.
Series Title: Texts and Monographs in Computer Science, The AKM Series in Theoretical Computer Science.
Responsibility: by Ernest G. Manes, Michael A. Arbib.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.

Similar Items

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/852791941> # Algebraic Approaches to Program Semantics
    a schema:MediaObject, schema:CreativeWork, schema:Book ;
   library:oclcnum "852791941" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/nyu> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/7784485#Place/new_york_ny> ; # New York, NY
   schema:about <http://id.worldcat.org/fast/872451> ; # Computer science
   schema:about <http://id.worldcat.org/fast/817247> ; # Artificial intelligence
   schema:about <http://id.worldcat.org/fast/1002045> ; # Logic design
   schema:about <http://dewey.info/class/005.1015113/e23/> ;
   schema:bookFormat schema:EBook ;
   schema:contributor <http://viaf.org/viaf/4952830> ; # Michael A. Arbib
   schema:creator <http://viaf.org/viaf/108277479> ; # Ernest G. Manes
   schema:datePublished "1986" ;
   schema:description "1 Denotational Semantics of Control -- 1 An Introduction to Denotational Semantics -- 2 An Introduction to Category Theory -- 3 Partially Additive Semantics -- 4 Assertion Semantics -- 2 Semantics of Recursion -- 5 Recursive Specifications -- 6 Order Semantics of Recursion -- 7 Canonical Fixed Points -- 8 Partially Additive Semantics of Recursion -- 9 Fixed Points in Metric Spaces -- 3 Data Types -- 10 Functors -- 11 Recursive Specification of Data Types -- 12 Parametric Specification -- 13 Order Semantics of Data Types -- 14 Equational Specification -- Epilogue -- Author Index."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/7784485> ;
   schema:genre "Electronic books"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/7784485#Series/texts_and_monographs_in_computer_science_the_akm_series_in_theoretical_computer_science> ; # Texts and Monographs in Computer Science, The AKM Series in Theoretical Computer Science.
   schema:isPartOf <http://worldcat.org/issn/0172-603X> ; # Texts and Monographs in Computer Science, The AKM Series in Theoretical Computer Science,
   schema:isSimilarTo <http://worldcat.org/entity/work/data/7784485#CreativeWork/> ;
   schema:name "Algebraic Approaches to Program Semantics"@en ;
   schema:productID "852791941" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/852791941#PublicationEvent/new_york_ny_springer_new_york_1986> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/7784485#Agent/springer_new_york> ; # Springer New York
   schema:url <http://link.springer.com/10.1007/978-1-4612-4962-7> ;
   schema:url <http://dx.doi.org/10.1007/978-1-4612-4962-7> ;
   schema:url <https://link.springer.com/openurl?genre=book&isbn=978-0-387-96324-2> ;
   schema:workExample <http://dx.doi.org/10.1007/978-1-4612-4962-7> ;
   schema:workExample <http://worldcat.org/isbn/9781461249627> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/852791941> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/7784485#Agent/springer_new_york> # Springer New York
    a bgn:Agent ;
   schema:name "Springer New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/7784485#Series/texts_and_monographs_in_computer_science_the_akm_series_in_theoretical_computer_science> # Texts and Monographs in Computer Science, The AKM Series in Theoretical Computer Science.
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/852791941> ; # Algebraic Approaches to Program Semantics
   schema:name "Texts and Monographs in Computer Science, The AKM Series in Theoretical Computer Science." ;
    .

<http://id.worldcat.org/fast/1002045> # Logic design
    a schema:Intangible ;
   schema:name "Logic design"@en ;
    .

<http://id.worldcat.org/fast/817247> # Artificial intelligence
    a schema:Intangible ;
   schema:name "Artificial intelligence"@en ;
    .

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

<http://link.springer.com/10.1007/978-1-4612-4962-7>
   rdfs:comment "from Springer" ;
   rdfs:comment "(Unlimited Concurrent Users)" ;
    .

<http://viaf.org/viaf/108277479> # Ernest G. Manes
    a schema:Person ;
   schema:familyName "Manes" ;
   schema:givenName "Ernest G." ;
   schema:name "Ernest G. Manes" ;
    .

<http://viaf.org/viaf/4952830> # Michael A. Arbib
    a schema:Person ;
   schema:familyName "Arbib" ;
   schema:givenName "Michael A." ;
   schema:name "Michael A. Arbib" ;
    .

<http://worldcat.org/entity/work/data/7784485#CreativeWork/>
    a schema:CreativeWork ;
   schema:description "Print version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/852791941> ; # Algebraic Approaches to Program Semantics
    .

<http://worldcat.org/isbn/9781461249627>
    a schema:ProductModel ;
   schema:isbn "1461249627" ;
   schema:isbn "9781461249627" ;
    .

<http://worldcat.org/issn/0172-603X> # Texts and Monographs in Computer Science, The AKM Series in Theoretical Computer Science,
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/852791941> ; # Algebraic Approaches to Program Semantics
   schema:issn "0172-603X" ;
   schema:name "Texts and Monographs in Computer Science, The AKM Series in Theoretical Computer Science," ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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