Refinement Calculus : a Systematic Introduction.
Clasificación: | Libro Electrónico |
---|---|
Autor principal: | |
Otros Autores: | , |
Formato: | Electrónico eBook |
Idioma: | Inglés |
Publicado: |
New York :
Springer New York,
1998.
|
Edición: | N. |
Temas: | |
Acceso en línea: | Texto completo |
Tabla de Contenidos:
- GRADUATE TEXTS IN COMPUTER SCIENCE; REFINEMENT CALCULUS; Copyright; Preface; Contents; 1 Introduction; Part 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; Part 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.
- Part III Recursion and Iteration18 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; Part IV Statement Subclasses; 26 Statement Classes and Normal Forms; 27 Specification Statements; 28 Refinement in Context; 29 Iteration of Conjunctive Statements; Appendix; References; Index.