Computer Program Construction
Ali Mili, Jules Desharnais, Fatma Mili, Marc Frappier · Medical Entomology and Zoology · 1994
Preface 1. Sets and relations 2. Program specifications 3. Breaking text into lines 4. Program correctness 5. Program construction 6. A construction exercise: Justifying text 7 8. Heuristics for generalization 9. An exercise in inductive decomposition 10. The weakest prespecification problem 11. The initialization problem 12. Exercises in sequential decomposition 13. The demonic sequential specifications 14. Programming from composite specifications 15. An exercise in construction yb parts: Upsort Summary Appendices