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)

Related topics

Related topics

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

Broader (1)

Logic programming

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2019
2019
Group Reconstruction and Max-Pooling Residual Capsule Network
In capsule networks, the mapping of low-level capsules to high-level capsules is achieved by a routing-by-agreement algorithm… 
2017
2017
Quantum Guarded-Command Language (qGCL) for Maximum Value
On a classical computer or a binary computer, calculations are done simultaneously so as to produce the equations and algorithms… 
2015
2015
Global Coupled Learning and Local Consistencies Ensuring for sparse-based tracking
2014
2014
Skew-symmetric convection form and secondary conservative finite difference methods for moving grids
2008
2008
Ensemble Engineering and Emergence
The complex systems lying at the heart of ensemble engineering exhibit emergent behaviour: behaviour that is not explicitly… 
Review
2003
Review
2003
Moving Grid Computations for Turbulent, Aeroelastic Flows
A computational procedure for performing aeroelastic computations for three-dimensional geometries is developed. Specifically… 
1998
1998
SequenceL Provides a Different Way to View Programming
1993
1993
Reachability Analysis of Planar Multi-limear Systems
In this paper we study the reachability analysis of a simple class of hybrid systems, namely multi-linear systems. Such systems… 
1992
1992
An Operational Semantics for the Guarded Command Language
In [6], Dijkstra and Scholten present an axiomatic semantics for Dijkstra's guarded command language through the notions of… 
1991
1991
A Distributed Implementation of a Task Pool
In this paper we present a distributed algorithm to implement a task pool. The algorithm can be used to implement a processor… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)