The science of programming

Mostrar otras versiones (3)

Detalles Bibliográficos
Autor principal:	Gries, David
Formato:	Libro
Lenguaje:	Inglés
Publicado:	New York, NY : Springer, c1981
Edición:	1st. ed.
Colección:	Texts and monographs in computer science
Materias:	PROGRAMAS DE COMPUTADORAS SOFTWARE PROGRAMACION DE COMPUTADORES TECNICAS DE PROGRAMACION
Aporte de:	Registro referencial: Solicitar el recurso aquí Biblioteca Central Dr. Luis F. Leloir (FCEN) de Universidad de Buenos Aires

Tabla de Contenidos:

Chapter 1. Propositions
Chapter 2. Reasoning using Equivalence Transformations
Chapter 3. A Natural Deduction System
Chapter 4. Predicates
Chapter 5. Notation and Conventions for Arrays
Chapter 6. Using Assertions to Document Programs
Chapter 7. The Predicate Transformer wp
Chapter 8. The Commands skip, abort and Composition
Chapter 9. The Assignment Command
Chapter 10. The Alternative Command
Chapter 11. The Iterative Command
Chapter 12. Procedure Call
Chapter 13. Introduction
Chapter 14. Programming as a Goal-Oriented Activity
Chapter 15. Developing Loops from Invariants and Bounds
Chapter 16. Developing Invariants
Chapter 17. Notes on Bound Functions
Chapter 18. Using Iteration Instead of Recursion
Chapter 19. Efficiency Considerations
Chapter 20. Two Larger Examples of Program Development
Chapter 21. Inverting Programs
Chapter 22. Notes on Documentation
Chapter 23. Historical Notes
Appendix 1. Backus-Naur Form
Appendix 2. Sets, Sequences, Integers and Real Numbers
Appendix 3. Relations and Functions
Appendix 4. Asymptotic Execution Time Properties
Answers to Exercises
References
Index