E-Book, Englisch, 395 Seiten, eBook
Reihe: Formal Approaches to Computing and Information Technology (FACIT)
Cooke Constructing Correct Software
Erscheinungsjahr 2013
ISBN: 978-1-4471-3985-0
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
E-Book, Englisch, 395 Seiten, eBook
Reihe: Formal Approaches to Computing and Information Technology (FACIT)
ISBN: 978-1-4471-3985-0
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
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.