O Linguagem de Comando Guardada (GCL) é uma linguagem de programação definida por Edsger Dijkstra para semântica de transformador de predicados em EWD472. Ele combina conceitos de programação de forma compacta. Ele torna mais fácil desenvolver um programa e sua prova lado a lado, com as ideias de prova liderando o caminho; além disso, partes de um programa podem de fato ser calculadas.
Uma propriedade importante do GCL é o nondeterminismo. Por exemplo, na declaração if, várias alternativas podem ser verdadeiras, e a escolha de qual escolher é feita em tempo de execução, quando a declaração if é executada. Isso liberta o programador de ter que fazer escolhas desnecessárias e é uma ajuda no desenvolvimento formal de programas.
GCL inclui a declaração de atribuição múltipla. Por exemplo, a execução da declaração é feita primeiro avaliando os valores do lado direito e depois armazenando-os nas variáveis do lado esquerdo. Assim, esta declaração troca os valores de e .
Os seguintes livros discutem o desenvolvimento de programas usando GCL:
Categoria:Programação lógica Categoria:Linguagens de programação