Refinement Calculus

A Systematic Introduction

AvRalph-Johan Back,Joakim Wright

Häftad, Engelska, 1998

Del i serien Texts in Computer Science

1 214 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

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.

Produktinformation

Utgivningsdatum:1998-04-13
Mått:155 x 235 x 29 mm
Vikt:809 g
Format:Häftad
Språk:Engelska
Serie:Texts in Computer Science
Antal sidor:520
Förlag:Springer-Verlag New York Inc.
ISBN:9780387984179

Utforska kategorier

Beräkning och matematisk analys inom Naturvetenskap och teknik

Innehållsförteckning

1 Introduction.- 1.1 Contracts.- 1.2 Using Contracts.- 1.3 Computers as Agents.- 1.4 Algebra of Contracts.- 1.5 Programming Constructs.- 1.6 Specification Constructs.- 1.7 Correctness.- 1.8 Refinement of Programs.- 1.9 Background.- 1.10 Overview of the Book.- I Foundations.- 2 Posets, Lattices, and Categories.- 3 Higher-Order Logic.- 4 Functions.- 5 States and State Transformers.- 6 Truth Values.- 7 Predicates and Sets.- 8 Boolean Expressions and Conditionals.- 9 Relations.- 10 Types and Data Structures.- II Statements.- 11 Predicate Transformers.- 12 The Refinement Calculus Hierarchy.- 13 Statements.- 14 Statements as Games.- 15 Choice Semantics.- 16 Subclasses of Statements.- 17 Correctness and Refinement of Statements.- III Recursion and Iteration.- 18 Well-founded Sets and Ordinals.- 19 Fixed Points.- 20 Recursion.- 21 Iteration and Loops.- 22 Continuity and Executable Statements.- 23 Working with Arrays.- 24 The N-Queens Problem.- 25 Loops and Two-Person Games.- IV Statement Subclasses.- 26 Statement Classes and Normal Forms.- 27 Specification Statements.- 28 Refinement in Context.- 29 Iteration of Conjunctive Statements.- References.

Mer från samma författare

Refinement Calculus

Joakim Wright, Ralph-Johan Back

E-bok

2012

1 459 kr

Transactions on Computational Systems Biology XIII

Ralph-Johan Back, Ion Petre, Erik de Vink

Häftad, 2011

554 kr

Transactions on Computational Systems Biology XIII

Erik de Vink, Ion Petre, Ralph-Johan Back

E-bok

2011

718 kr

Structured Derivations: Teaching Mathematical Reasoning in High School

Ralph-Johan Back

Häftad

453 kr

Mer från samma serie

Computer Vision

Richard Szeliski

Inbunden, 2022

885 kr

Computer Vision

Richard Szeliski

Häftad, 2023

665 kr

Algorithm Design Manual

Steven S. Skiena

Häftad, 2021

752 kr

Fundamentals of Digital Forensics

Joakim Kävrestad, Marcus Birath, Nathan Clarke

Häftad, 2025

664 kr

Invariants

Daniel Zingaro

Häftad, 2008

267 kr

Fundamentals of Digital Forensics

Joakim Kävrestad, Marcus Birath, Nathan Clarke

Inbunden, 2024

938 kr

Programming Challenges

Steven S Skiena, Miguel A. Revilla

Häftad, 2003

(1)

855 kr

Introduction to Assembly Language Programming

Sivarama P. Dandamudi

Inbunden, 2004

1 024 kr

Integrated Approach to Software Engineering

Pankaj Jalote

Inbunden, 2005

843 kr

Recursive Introduction to the Theory of Computation

Carl Smith

Inbunden, 1994

572 kr

Du kanske också är intresserad av

10% rabatt på allt

L'amour toujours : Berättelsen om Tidö

Maggie Strömberg, Torbjörn Nilsson

Inbunden, 2026

275 kr

Refinement Calculus

Joakim Wright, Ralph-Johan Back

E-bok

2012

1 459 kr

Lady Oracle

Margaret Atwood

Häftad, 1998

140 kr

Life Before Man

Margaret Atwood

Häftad, 1998

160 kr

Transactions on Computational Systems Biology XIII

Ralph-Johan Back, Ion Petre, Erik de Vink

Häftad, 2011

554 kr

Martin Heidegger and European Nihilism

Karl Löwith, Richard Wolin

Häftad, 1998

664 kr

Transactions on Computational Systems Biology XIII

Erik de Vink, Ion Petre, Ralph-Johan Back

E-bok

2011

718 kr

Rough-Face Girl

Rafe Martin

Häftad, 1998

175 kr

When a Pet Dies

Fred Rogers

Häftad, 1998

175 kr

Structured Derivations: Teaching Mathematical Reasoning in High School

Ralph-Johan Back

Häftad

453 kr

Refinement Calculus

A Systematic Introduction

AvRalph-Johan Back,Joakim Wright

Häftad, Engelska, 1998

Del i serien Texts in Computer Science

1 214 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

Produktinformation

Utgivningsdatum:1998-04-13
Mått:155 x 235 x 29 mm
Vikt:809 g
Format:Häftad
Språk:Engelska
Serie:Texts in Computer Science
Antal sidor:520
Förlag:Springer-Verlag New York Inc.
ISBN:9780387984179

Utforska kategorier

Beräkning och matematisk analys inom Naturvetenskap och teknik

Innehållsförteckning

1 Introduction.- 1.1 Contracts.- 1.2 Using Contracts.- 1.3 Computers as Agents.- 1.4 Algebra of Contracts.- 1.5 Programming Constructs.- 1.6 Specification Constructs.- 1.7 Correctness.- 1.8 Refinement of Programs.- 1.9 Background.- 1.10 Overview of the Book.- I Foundations.- 2 Posets, Lattices, and Categories.- 3 Higher-Order Logic.- 4 Functions.- 5 States and State Transformers.- 6 Truth Values.- 7 Predicates and Sets.- 8 Boolean Expressions and Conditionals.- 9 Relations.- 10 Types and Data Structures.- II Statements.- 11 Predicate Transformers.- 12 The Refinement Calculus Hierarchy.- 13 Statements.- 14 Statements as Games.- 15 Choice Semantics.- 16 Subclasses of Statements.- 17 Correctness and Refinement of Statements.- III Recursion and Iteration.- 18 Well-founded Sets and Ordinals.- 19 Fixed Points.- 20 Recursion.- 21 Iteration and Loops.- 22 Continuity and Executable Statements.- 23 Working with Arrays.- 24 The N-Queens Problem.- 25 Loops and Two-Person Games.- IV Statement Subclasses.- 26 Statement Classes and Normal Forms.- 27 Specification Statements.- 28 Refinement in Context.- 29 Iteration of Conjunctive Statements.- References.