"Comandos guardados" (GCL) "órdenes guardadas" es un modelo de lenguaje definido por Edsger Dijkstra para semántica de transformación de predicados (una extensión lógica diseñada para proporcionar una metodología para desarrollar programas "correctos por construcción" en un lenguajeimperativo). Tiene un conjunto especial de construcciones de condición y de bucle....
