Lenguaje de Comandos Guardados

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á el enunciado.Si ninguna guarda es verdadera, el resultado es indefinido (semánticamente equivalente a una instrucción Abort).El proceso se repite hasta que ninguna de las guardas evalúe como verdadera (es decir, después de ejecutar un comando se vuelve a evaluar las guardas desde el principio).A continuación se da una implementación del algoritmo de Euclides para hallar el máximo común divisor.En esta aplicación, una puerta lógica manejando un nodo y en el circuito consiste en dos comandos guardados, como sigue: PulldownGuard y PullupGuard son funciones de la entrada de la puerta lógica, que describen las acciones de salida pull down y pull up respectivamente.