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… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
Existing treatments of Dijkstra’s guarded-command language treat divergence and failure as equivalent, even though Dijkstra… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
2015
2015
Has conducted research to determine the derivation of quantum guarded command language (qGCL) program for average. Initially… (More)
Is this relevant?
2014
2014
This paper proposes a simple operational semantics of pGCL, Dijkstra’s guarded command language extended with probabilistic… (More)
  • table 1
  • figure 1
  • figure 2
Is this relevant?
2012
2012
This paper proposes a simple operational semanticsof pGCL, Dijkstra's guarded command language extended withprobabilistic choice… (More)
  • figure 1
  • figure 2
Is this relevant?
2011
2011
PROPER TECHNIQUE OF SOFTWARE INSPECTION USING GUARDED COMMAND LANGUAGE 
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… (More)
Is this relevant?
Highly Cited
1997
Highly Cited
1997
The two models presented in this paper provide two different semantics for an extension of Dijkstra’s language of guarded… (More)
Is this relevant?
1985
1985
We present a proof rule for fairly terminating guarded commands based on a well-foundedness argument. The rule is applied to… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
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… (More)
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 non… (More)
Is this relevant?