Linguagem de Comando Guardada

linguagem formal para semântica de transformador de predicados proposta por Edsger Dijkstra

O Linguagem de Comando Guardada (GCL) é uma linguagem de programação definida por Edsger Dijkstra para semântica de transformador de predicados em EWD472.[1] 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 x, y:= y, x é 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 x e y.

Os seguintes livros discutem o desenvolvimento de programas usando GCL:

Referências

  Este artigo sobre programação de computadores é um esboço. Você pode ajudar a Wikipédia expandindo-o.