GUÍA DOCENTE ASIGNATURAS 2003-2004 - Facultade de ...

3. Semántica de programas.
3.1. El transformador de predicados wp.
3.2. Las órdenes skip, abort y composición.
3.3. La orden asignación.
3.4. La estructura alternativa.
3.5. La estructura iterativa.
3.6. Llamada a procedimientos.
4. Desarrollo de programas.
4.1. La programación como una actividad orientada a objetivo.
4.2. Desarrollo de bucles a partir de invariantes y funciones cota.
4.3. Desarrollo de invariantes.
4.4. Funciones cota.
4.5. Uso de iteración en lugar de recursión
42