Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2019
2019
In capsule networks, the mapping of low-level capsules to high-level capsules is achieved by a routing-by-agreement algorithm… 
2017
2017
On a classical computer or a binary computer, calculations are done simultaneously so as to produce the equations and algorithms… 
2008
2008
The complex systems lying at the heart of ensemble engineering exhibit emergent behaviour: behaviour that is not explicitly… 
Review
2003
Review
2003
A computational procedure for performing aeroelastic computations for three-dimensional geometries is developed. Specifically… 
1993
1993
In this paper we study the reachability analysis of a simple class of hybrid systems, namely multi-linear systems. Such systems… 
1992
1992
In [6], Dijkstra and Scholten present an axiomatic semantics for Dijkstra's guarded command language through the notions of… 
1991
1991
In this paper we present a distributed algorithm to implement a task pool. The algorithm can be used to implement a processor…