보호 명령어 언어
Sign in to saveAlso known as GCL
formal language for predicate transformer semantics introduced by by Edsger Dijkstra
In the Vinony graph
Within Vinony's link graph, 보호 명령어 언어 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
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