Constructing Correct Software - Softcover

Inhaltsangabe

0 Introduction.- 1 The Specification of Functions I.- 1A The Specification of Functions II.- 2 Transformations I.- 2A Transformations II.- 3 Algorithm Extraction.- 4 Specifications Revisited (Quantifications etc.).- 5 Refinement.- 6 Sorting.- 7 Two Further Examples.- 8 The Broader Picture.- Appendix Transformation Digest.- A.1 Data Manipulation Rules.- A.2 Quantifier Properties.- A.3 'Not Occurs in'.- A.4 On PDL.- A.5 PDL Transformation Rules.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.