Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Guarded Command Language

Known as: GCL, Guarded command, Guarded commands 
The Guarded Command Language (GCL) is a language defined by Edsger Dijkstra for predicate transformer semantics. It combines programming concepts in… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2018
Review
2018
This paper presents a study where different types of external Human Machine Interfaces (eHMIs) are used to communicate the system… Expand
Is this relevant?
Highly Cited
2005
Highly Cited
2005
It is a deep-seated tradition in science to view uncertainty as a province of probability theory. The generalized theory of… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2005
2005
The probabilistic guarded-command language pGCL [Carroll Morgan, Annabelle McIver. pGCL: formal reasoning for random algorithms… Expand
Is this relevant?
Highly Cited
1999
Highly Cited
1999
This paper defines a simple guarded-command–like language and its semantics. The language is used as an intermediate language in… Expand
Is this relevant?
Highly Cited
1997
Highly Cited
1997
Abstract The two models presented in this paper provide two different semantics for an extension of Dijkstra's language of… Expand
Is this relevant?
1992
1992
In [6], Dijkstra and Scholten present an axiomatic semantics for Dijkstra's guarded command language through the notions of… Expand
Is this relevant?
Highly Cited
1989
Highly Cited
1989
Dijsktra's calculus of guarded commands can be generalized and simplified by dropping the law of the excluded miracle. This paper… Expand
  • table I
  • figure 1
  • table II
Is this relevant?
Highly Cited
1983
Highly Cited
1983
This paper suggests that input and output are basic primitives of programming and that parallel composition of communicating… Expand
Is this relevant?
Highly Cited
1978
Highly Cited
1978
This paper suggests that input and output are basic primitives of programming and that parallel composition of communicating… Expand
  • figure 2
Is this relevant?
Highly Cited
1975
Highly Cited
1975
So-called “guarded commands” are introduced as a building block for alternative and repetitive constructs that allow… Expand
Is this relevant?