Lenguaje de Comandos Guardados

Also known as GCL

formal language for predicate transformer semantics introduced by by Edsger Dijkstra

In the Vinony graph

Within Vinony's link graph, Lenguaje de Comandos Guardados is referenced by 15 other articles, and connects out to Edsger W. Dijkstra, formal methods and computer science.

It sits within the topics Edsger W. Dijkstra and Logic programming.

Its subject is documented across 6 Wikipedia language editions.

Wikidata facts

Instance of: formal language
Creator: Edsger W. Dijkstra
Has use: predicate transformer semantics

Show 2 more facts

described at URL: www.cs.utexas.edu/users/EWD/ewd04xx/EWD472.PDF
inception: 1975-00-00

Sources (1)

wikidata.org

via Wikidata · CC0

Article · Español

El Lenguaje de Comandos Guardados (GCL, Guarded Command Language), o de Ó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 lenguaje imperativo). Tiene un conjunto especial de construcciones de condición y de bucle. El elemento más básico del lenguaje es el comando guardado o comando con guarda.

Abstract from DBpedia / Wikipedia · CC BY-SA