skip to content
Iteration theories : the equational logic of iterative processes Preview this item
ClosePreview this item
Checking...

Iteration theories : the equational logic of iterative processes

Author: Stephen L Bloom; Zoltán Ésik
Publisher: Berlin [u.a.] : Springer, 1993.
Series: EATCS monographs on theoretical computer science.
Edition/Format:   Print book : EnglishView all editions and formats
Summary:

This monograph provides a detailed investigation of the fixed point or iteration operation, which plays a fundamental role in the theory of computation. The reader is introduced to universal algebra,  Read more...

Rating:

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

Subjects
More like this

 

Find a copy online

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: Stephen L Bloom; Zoltán Ésik
ISBN: 0387563784 9780387563787 3540563784 9783540563785
OCLC Number: 246554545
Description: XV, 630 S : graph. Darst.
Contents: 1 Mathematical Motivation.- 2 Why Iteration Theories?.- 3 Suggestions for the Impatient Reader.- 4 A Disclaimer.- 5 Numbering.- 1 Preliminary Facts.- 1 Sets and Functions.- 2 Posets.- 3 Categories.- 4 2-Categories.- 4.1 Cellc is a 2-Category, Too.- 5 ?-Trees.- 2 Varieties and Theories.- 1 S-Algebras.- 2 Terms and Equations.- 3 Theories.- 4 The Theory of a Variety..- 3 Theory Facts.- 1 Pairing and Separated Sum.- 2 Elementary Properties of TH.- 3 Theories as N x N-Sorted Algebras.- 4 Special Coproducts.- 5 Matrix and Matricial Theories.- 5.1 Matrix Theories.- 5.2 Theories of Relations.- 5.3 Matricial Theories.- 5.4 Sequacious Relations.- 5.5 Sequacious Functions.- 6 Pullbacks and Pushouts of Base Morphisms.- 7 2-Theories.- 4 Algebras.- 1 T-algebras.- 1.1 An Example: Algebras of Matrix Theories.- 2 Free Algebras in Tb.- 2.1 The T-algebras Tn.- 2.2 Infinitely Generated Free Algebras in Tb.- 3 Subvarieties of Tb.- 4 The Categories TH and var.- 5 Notes.- 5 Iterative Theories.- 1 Ideal Theories.- 2 Iterative Theories Defined.- 3 Properties of Iteration in Iterative Theories.- 4 Free Iterative Theories.- 5 Notes.- 6 Iteration Theories.- 1 Iteration Theories Defined.- 2 Other Axiomatizations of Iteration Theories.- 2.1 Scalar Axiomatizations.- 3 Theories with a Functorial Dagger.- 4 Pointed Iterative Theories.- 5 Free Iteration Theories.- 6 Constructions on Iteration Theories.- 7 Feedback Theories.- 8 Summary of the Axioms.- 8.1 Axioms for Iteration Theories.- 8.2 Axioms for Conway Theories.- 9 Notes.- 7 Iteration Algebras.- 1 Definitions.- 2 Free Algebras in T+.- 3 The Retraction Lemma.- 4 Some Categorical Facts.- 5 Properties of T+.- 6 A Characterization Theorem.- 7 Strong Iteration Algebras.- 8 Notes.- 8 Continuous Theories.- 1 Ordered Algebraic Theories.- 1.1 Free Ordered Theories.- 2 ?-Continuous Theoriesx.- 2.1 Free ?-Continuous Theories.- 3 Rational Theories.- 4 Initiality and Iteration in 2-Theories.- 5 ?-Continuous 2-Theories.- 5.1 The Definition, with Examples.- 5.2 Initial Algebras Exist.- 5.3 ?-Continuous 2-Theories are Iteration Theories.- 6 Notes.- 9 Matrix Iteration Theories.- 1 Notation.- 2 Properties of the Star Operation.- 3 Matrix Iteration Theories Defined.- 4 Presentations in Matrix Iteration Theories.- 5 The Initial Matrix Iteration Theory.- 6 An Extension Theorem.- 7 Matrix Iteration Theories of Regular Sets.- 8 Notes.- 10 Matricial Iteration Theories.- 1 From Dagger to Star and Omega, and Back.- 2 Matricial Iteration Theories Defined.- 3 Examples.- 3.1 SeqRel(inA).- 3.2 L(X*; X?).- 3.3 RL(X*;X?).- 3.4 CL(X*; X?).- 3.5 RCL(X*;X?).- 3.6 More Commutative Identities.- 4 Additively Closed Subiteration Theories.- 4.1 An A.C. Subiteration Theory of C(X*; X?).- 5 Presentations in Matricial Iteration Theories.- 6 The Initial Matricial Iteration Theory.- 7 The Extension Theorem.- 8 Additively Closed Theories of Regular Languages.- 9 Closed Regular (?-Languages.- 10 Notes.- 11 Presentations.- 1 Presentations in Iteration Theories.- 2 Simulations of Presentations.- 3 Coproducts Revisited.- 4 Notes.- 12 Flowchart Behaviors.- 1 Axiomatizing Sequacious Functions.- 2 Axiomatizing Partial Functions.- 3 Diagonal Theories.- 4 Sequacious Functions with Predicates.- 4.1 The Theory of One Predicate.- 4.2 Several Binary Predicates.- 5 Partial Functions with Predicates.- 6 Notes.- 13 Synchronization Trees.- 1 Theories of Synchronization Trees.- 2 Grove Iteration Theories.- 3 Axiomatizing Synchronization Trees.- 4 Bisimilarity.- 5 Notes.- 14 Floyd-Hoare Logic.- 1 Guards.- 2 Partial Correctness Assertions.- 2.1 An Alternative Definition of n-Guards.- 3 The Standard Example.- 4 Rules for Partial Correctness.- 4.1 Formalization.- 4.2 Formal Rules.- 5 Soundness.- 6 The Standard Example, Continued.- 7 A Floyd-Hoare Calculus for Iteration Theories.- 8 The Standard Example, Again.- 9 Completeness.- 9.1 The Invariant Guard Property.- 9.2 Completeness of Floyd-Hoare Rules.- 9.3 Guarantees of Completeness.- 9.4 Weakest Liberal Preconditions and Completeness.- 9.5 The Cook Completeness Theorem.- 9.6 The Unwinding Property.- 10 Examples.- 10.1 An Example of a Correctness Proof.- 10.2 The Interpolation Property Does Not Imply the Invariant Guard Property.- 10.3 A Non-Expressive Structure with Weakest Liberal Preconditions.- 11 Notes.- List of Symbols.
Series Title: EATCS monographs on theoretical computer science.
Responsibility: Stephen L. Bloom ; Zoltán Ésik.
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/246554545> # Iteration theories : the equational logic of iterative processes
    a schema:Book, schema:CreativeWork ;
    library:oclcnum "246554545" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/143817619#Place/berlin_u_a> ; # Berlin u.a.
    schema:about <http://experiment.worldcat.org/entity/work/data/143817619#Topic/fixpunkt_datensicherung> ; # Fixpunkt
    schema:about <http://experiment.worldcat.org/entity/work/data/143817619#Topic/computer_mathematics> ; # Computer--Mathematics
    schema:about <http://dewey.info/class/005.131/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/143817619#Topic/iterationstheorie> ; # Iterationstheorie
    schema:about <http://experiment.worldcat.org/entity/work/data/143817619#Topic/logic_symbolic_and_mathematical> ; # Logic, Symbolic and mathematical
    schema:about <http://experiment.worldcat.org/entity/work/data/143817619#Topic/iterative_methods_mathematics> ; # Iterative methods (Mathematics)
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://experiment.worldcat.org/entity/work/data/143817619#Person/esik_zoltan> ; # Zoltán Ésik
    schema:creator <http://experiment.worldcat.org/entity/work/data/143817619#Person/bloom_stephen_l> ; # Stephen L. Bloom
    schema:datePublished "1993" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/143817619> ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/143817619#Series/eatcs_monographs_on_theoretical_computer_science> ; # EATCS monographs on theoretical computer science.
    schema:name "Iteration theories : the equational logic of iterative processes" ;
    schema:productID "246554545" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/246554545#PublicationEvent/berlin_u_a_springer_1993> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/143817619#Agent/springer> ; # Springer
    schema:url <http://swbplus.bsz-bw.de/bsz033647453cov.htm> ;
    schema:url <http://www.gbv.de/dms/ilmenau/toc/122885589.PDF> ;
    schema:url <http://d-nb.info/930455339/04> ;
    schema:url <http://www.gbv.de/dms/bowker/toc/9780387563787.pdf> ;
    schema:workExample <http://worldcat.org/isbn/9783540563785> ;
    schema:workExample <http://worldcat.org/isbn/9780387563787> ;
    umbel:isLike <http://d-nb.info/930455339> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/246554545> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/143817619#Person/bloom_stephen_l> # Stephen L. Bloom
    a schema:Person ;
    schema:familyName "Bloom" ;
    schema:givenName "Stephen L." ;
    schema:name "Stephen L. Bloom" ;
    .

<http://experiment.worldcat.org/entity/work/data/143817619#Person/esik_zoltan> # Zoltán Ésik
    a schema:Person ;
    schema:familyName "Ésik" ;
    schema:givenName "Zoltán" ;
    schema:name "Zoltán Ésik" ;
    .

<http://experiment.worldcat.org/entity/work/data/143817619#Series/eatcs_monographs_on_theoretical_computer_science> # EATCS monographs on theoretical computer science.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/246554545> ; # Iteration theories : the equational logic of iterative processes
    schema:name "EATCS monographs on theoretical computer science." ;
    schema:name "EATCS monographs on theoretical computer science" ;
    .

<http://experiment.worldcat.org/entity/work/data/143817619#Topic/computer_mathematics> # Computer--Mathematics
    a schema:Intangible ;
    schema:name "Computer--Mathematics" ;
    .

<http://experiment.worldcat.org/entity/work/data/143817619#Topic/iterationstheorie> # Iterationstheorie
    a schema:Intangible ;
    schema:name "Iterationstheorie" ;
    .

<http://experiment.worldcat.org/entity/work/data/143817619#Topic/iterative_methods_mathematics> # Iterative methods (Mathematics)
    a schema:Intangible ;
    schema:name "Iterative methods (Mathematics)" ;
    .

<http://experiment.worldcat.org/entity/work/data/143817619#Topic/logic_symbolic_and_mathematical> # Logic, Symbolic and mathematical
    a schema:Intangible ;
    schema:name "Logic, Symbolic and mathematical" ;
    .

<http://worldcat.org/isbn/9780387563787>
    a schema:ProductModel ;
    schema:isbn "0387563784" ;
    schema:isbn "9780387563787" ;
    .

<http://worldcat.org/isbn/9783540563785>
    a schema:ProductModel ;
    schema:isbn "3540563784" ;
    schema:isbn "9783540563785" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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