Guarded Command Language
Sign in to saveAlso known as GCL
formal language for predicate transformer semantics introduced by by Edsger Dijkstra
In the Vinony graph
Vinony's link graph records 15 inbound references to Guarded Command Language, and connects out to Edsger W. Dijkstra, formal methods and computer science.
Vinony files it under Edsger W. Dijkstra and Logic programming.
Vinony links it to 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
Article · 日本語
Guarded Command Language（GCL）とは、エドガー・ダイクストラが述語変換意味論向けに定義した言語である
Abstract from DBpedia / Wikipedia · CC BY-SA
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