Linguagem de Comando Guardada
Sign in to saveAlso known as GCL
linguagem formal para semântica de transformador de predicados proposta por Edsger Dijkstra
In the Vinony graph
Within Vinony's link graph, Linguagem de Comando Guardada is referenced by 15 other articles, and connects out to Edsger W. Dijkstra, formal methods and computer science.
Vinony files it under 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
Show 2 more facts
- described at URL
- www.cs.utexas.edu/users/EWD/ewd04xx/EWD472.PDF
- inception
- 1975-00-00
Sources (1)
via Wikidata · CC0
Connections
Edsger W. Dijkstra
Entity
formal methods
Entity
computer science
Entity
International Standard Book Number
Entity
programming language
Entity
algorithm
Entity
computer program
Entity
digital object identifier
Entity
semantics
Entity
software engineering
Entity
greatest common divisor
Entity
Euclidean algorithm
Entity
distributed computing
Entity
proposition
Entity
Niklaus Wirth
Entity
bubble sort
Entity
software development
Entity
data type
Entity
Dijkstra's algorithm
Entity
pseudocode
Entity