skip to content
Refinement Calculus : a Systematic Introduction Preview this item
ClosePreview this item
Checking...

Refinement Calculus : a Systematic Introduction

Author: Ralph-Johan Back; Joakim Wright
Publisher: New York, NY : Springer New York, 1998.
Series: Graduate texts in computer science.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Database:WorldCat
Summary:
Much current research in computer science is concerned with two questions: is a program correct? And how can we improve a correct program preserving correctness? This latter question is known as the refinement of programs and the purpose of this book is to consider these questions in a formal setting. In fact, correctness turns out to be a special case of refinement and so the focus is on refinement. Although a  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: Ralph-Johan Back; Joakim Wright
ISBN: 9781461216742 1461216745
OCLC Number: 853265982
Description: 1 online resource (xv, 519 pages 27 illustrations).
Contents: Introduction --
Posets, lattices and categories --
Higher order logic --
Functions --
States and state transformers --
Truth values --
Predicates and sets --
Boolean expressions and conditionals --
Relations --
Types and data structures --
Predicate transformers --
The refinement calculus hierarchy --
Statements --
Statements as games --
Choice semantics --
Subclass of statements --
Correctness and refinement of statements --
Well-founded sets and ordinals --
Fixpoints --
Recursion --
Iteration and loops --
Continuity and executable statements --
Working with arrays --
The N-queens problem --
Loops and two-person games --
Statement classes and normal forms --
Specification statements --
Refinement in context --
Iteration of conjunctive statements.
Series Title: Graduate texts in computer science.
Responsibility: by Ralph-Johan Back, Joakim Wright.

Abstract:

Much current research in computer science is concerned with two questions: is a program correct? This latter question is known as the refinement of programs and the purpose of this book is to  Read more...

Reviews

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

Tags

Be the first.

Similar Items

Related Subjects:(2)

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/853265982> # Refinement Calculus : a Systematic Introduction
    a schema:CreativeWork, schema:Book, schema:MediaObject ;
   library:oclcnum "853265982" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/nyu> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/795114329#Place/new_york_ny> ; # New York, NY
   schema:about <http://id.worldcat.org/fast/872451> ; # Computer science
   schema:about <http://dewey.info/class/004.0151/e23/> ;
   schema:about <http://id.worldcat.org/fast/973149> ; # Information theory
   schema:bookFormat schema:EBook ;
   schema:contributor <http://experiment.worldcat.org/entity/work/data/795114329#Person/wright_joakim> ; # Joakim Wright
   schema:creator <http://experiment.worldcat.org/entity/work/data/795114329#Person/back_ralph_johan> ; # Ralph-Johan Back
   schema:datePublished "1998" ;
   schema:description "Introduction -- Posets, lattices and categories -- Higher order logic -- Functions -- States and state transformers -- Truth values -- Predicates and sets -- Boolean expressions and conditionals -- Relations -- Types and data structures -- Predicate transformers -- The refinement calculus hierarchy -- Statements -- Statements as games -- Choice semantics -- Subclass of statements -- Correctness and refinement of statements -- Well-founded sets and ordinals -- Fixpoints -- Recursion -- Iteration and loops -- Continuity and executable statements -- Working with arrays -- The N-queens problem -- Loops and two-person games -- Statement classes and normal forms -- Specification statements -- Refinement in context -- Iteration of conjunctive statements."@en ;
   schema:description "Much current research in computer science is concerned with two questions: is a program correct? And how can we improve a correct program preserving correctness? This latter question is known as the refinement of programs and the purpose of this book is to consider these questions in a formal setting. In fact, correctness turns out to be a special case of refinement and so the focus is on refinement. Although a reasonable background knowledge is assumed from mathematics and CS, the book is a self-contained introduction suitable for graduate students and researchers coming to this subject for the first time. There are numerous exercises provided of varying degrees of challenge."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/795114329> ;
   schema:genre "Electronic books"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://worldcat.org/issn/1868-0941> ; # Graduate Texts in Computer Science,
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/795114329#Series/graduate_texts_in_computer_science> ; # Graduate texts in computer science.
   schema:isSimilarTo <http://worldcat.org/entity/work/data/795114329#CreativeWork/> ;
   schema:name "Refinement Calculus : a Systematic Introduction"@en ;
   schema:productID "853265982" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/853265982#PublicationEvent/new_york_ny_springer_new_york_1998> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/795114329#Agent/springer_new_york> ; # Springer New York
   schema:url <http://link.springer.com/10.1007/978-1-4612-1674-2> ;
   schema:url <http://dx.doi.org/10.1007/978-1-4612-1674-2> ;
   schema:workExample <http://worldcat.org/isbn/9781461216742> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/853265982> ;
    .


Related Entities

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

<http://experiment.worldcat.org/entity/work/data/795114329#Person/back_ralph_johan> # Ralph-Johan Back
    a schema:Person ;
   schema:familyName "Back" ;
   schema:givenName "Ralph-Johan" ;
   schema:name "Ralph-Johan Back" ;
    .

<http://experiment.worldcat.org/entity/work/data/795114329#Person/wright_joakim> # Joakim Wright
    a schema:Person ;
   schema:familyName "Wright" ;
   schema:givenName "Joakim" ;
   schema:name "Joakim Wright" ;
    .

<http://experiment.worldcat.org/entity/work/data/795114329#Series/graduate_texts_in_computer_science> # Graduate texts in computer science.
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/853265982> ; # Refinement Calculus : a Systematic Introduction
   schema:name "Graduate texts in computer science." ;
    .

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

<http://id.worldcat.org/fast/973149> # Information theory
    a schema:Intangible ;
   schema:name "Information theory"@en ;
    .

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

<http://worldcat.org/entity/work/data/795114329#CreativeWork/>
    a schema:CreativeWork ;
   schema:description "Print version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/853265982> ; # Refinement Calculus : a Systematic Introduction
    .

<http://worldcat.org/isbn/9781461216742>
    a schema:ProductModel ;
   schema:isbn "1461216745" ;
   schema:isbn "9781461216742" ;
    .

<http://worldcat.org/issn/1868-0941> # Graduate Texts in Computer Science,
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/853265982> ; # Refinement Calculus : a Systematic Introduction
   schema:issn "1868-0941" ;
   schema:name "Graduate Texts in Computer Science," ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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