ensayo



Unidad de aprendizaje: programación 3
Nombre de la tarea: cuadro comparativo
Nombre del profesor: Héctor Alejandro vela Villareal
Nombre del estudiante: Luis enrique verdín García
Fecha:03 de octubre del 2013










Comando guardado
Un comando guardado consiste en una orden —un enunciado— que está "guardada" (protegida) por una proposición llamada guarda, cuyo valordebe ser verdadero antes de que se ejecute el comando. Cuando el enunciado se ejecuta, puede asumirse que la proposición de guarda es verdadera. Si la proposición de guarda es falsa, no se ejecutará elenunciado.
El uso de comandos guardados facilita la comprobación de que el programa cumple la especificación.
Sintaxis[
Un comando guardado es un enunciado de la forma , donde
 es la proposición deguarda;
 es una instrucción.
Semántica
Cuando  se encuentra en un cálculo, se evalúa.
Si  es verdadero, se ejecuta .
Si  es falso, lo que se hará dependerá del contexto.
Las sentencias  puedencambiar estados:
x, z = y, y + 1 el nuevo valor de x es y y el nuevo valor de z es y + 1
o realizar entrada y salida:
print "Salida"
Naturalmente, una implementación de comandos guardados puedepermitir cualquier anchura para las condiciones y sentencias.
Un comando guardado se puede presentar por sí sólo como una sentencia; en comandos que siempre se ejecutan, la guarda se puede omitir:true  print 5
es equivalente a:
print 5
Skip y Abort[
Skip y Abort son enunciados simples pero importantes en el lenguaje de comandos guardados.
Abort es la instrucción indefinida: hacer cualquiercosa. El enunciado Abort no tiene por qué implicar la terminación (aborto) del programa; se usa para describir el programa al formular una demostración, en cuyo caso la demostración generalmente falla.Skip es la instrucción vacía: no hacer nada. Se usa en el programa en sí mismo, cuando la sintaxis requiere un enunciado y el programador no quiere que la máquina cambie estados.
La construcción...