Ver índice de contenidos del libro

Capítulo 10. Contratos y Mutabilidad

En esta unidad se le dará cierta formalización a algunos temas que se habían visto informalmente, como por ejemplo, la documentación de las funciones.

Se formalizarán las condiciones que debe cumplir un algoritmo, al comenzar, en su transcurso, y al terminar, y algunas técnicas para tener en cuenta estas condiciones.

También se verá una forma de modelizar el espacio donde viven las variables.

Copyright (c) 2011-2014 Rosita Wachenchauzer, Margarita Manterola, Maximiliano Curia, Marcos Medrano, Nicolás Paez. La copia y redistribución de esta página se permite bajo los términos de la licencia Creative Commons Atribución - Compartir Obras Derivadas Igual 3.0 siempre que se conserve esta nota de copyright.