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

Related topics

Related topics

18 relations
ALGOL 58ALGOL 68B-MethodBlock (programming)
(More)

Broader (1)

Logic programming

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
Guards, Failure, and Partiality: Dijkstra's Guarded-Command Language Formulated Topologically
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
Derivation of Quantum Guarded Command Language Program for Average
Has conducted research to determine the derivation of quantum guarded command language (qGCL) program for average. Initially… (More)
Is this relevant?
2014
2014
Operational versus weakest pre-expectation semantics for the probabilistic guarded command language
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
Operational Versus Weakest Precondition Semantics for the Probabilistic Guarded Command Language
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
PROPER TECHNIQUE OF SOFTWARE INSPECTION USING GUARDED COMMAND LANGUAGE 
Is this relevant?
Highly Cited
1999
Highly Cited
1999
Checking Java Programs via Guarded Commands
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
Probabilistic Models for the Guarded Command Language
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
A Proof Rule for Fair Termination of Guarded Commands
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
Guarded Commands, Nondeterminacy and Formal Derivation of Programs
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
Guarded commands, non-determinacy and a calculus for the derivation of programs
So-called “guarded commands” are introduced as a building block for alternative and repetitive constructs that allow non… (More)
Is this relevant?