Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 227,741,324 papers from all fields of science
Search
Sign In
Create Free Account
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
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
18 relations
ALGOL 58
ALGOL 68
B-Method
Block (programming)
Expand
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
Xinpeng Ding
,
N. Wang
,
Xinbo Gao
,
Jie Li
,
Xiaoyu Wang
International Joint Conference on Artificial…
2019
Corpus ID: 199466236
In capsule networks, the mapping of low-level capsules to high-level capsules is achieved by a routing-by-agreement algorithm…
Expand
2017
2017
Quantum Guarded-Command Language (qGCL) for Maximum Value
A. Putri
,
J. Titaley
,
B. Pinontoan
2017
Corpus ID: 125873368
On a classical computer or a binary computer, calculations are done simultaneously so as to produce the equations and algorithms…
Expand
2015
2015
Global Coupled Learning and Local Consistencies Ensuring for sparse-based tracking
Yehui Yang
,
Yuan Xie
,
Wensheng Zhang
,
Wenrui Hu
,
Yuanhua Tan
Neurocomputing
2015
Corpus ID: 4149565
2014
2014
Skew-symmetric convection form and secondary conservative finite difference methods for moving grids
Yohei Morinishi
,
K. Koga
Journal of Computational Physics
2014
Corpus ID: 5071333
2008
2008
Ensemble Engineering and Emergence
Hu Jun
,
Zhiming Liu
,
G. Reed
,
J. Sanders
Software-Intensive Systems and New Computing…
2008
Corpus ID: 18080890
The complex systems lying at the heart of ensemble engineering exhibit emergent behaviour: behaviour that is not explicitly…
Expand
Review
2003
Review
2003
Moving Grid Computations for Turbulent, Aeroelastic Flows
Ramji Kamakoti
,
W. Shyy
2003
Corpus ID: 124315603
A computational procedure for performing aeroelastic computations for three-dimensional geometries is developed. Specifically…
Expand
1998
1998
SequenceL Provides a Different Way to View Programming
D. Cooke
Computer languages
1998
Corpus ID: 2356787
1993
1993
Reachability Analysis of Planar Multi-limear Systems
O. Maler
,
A. Pnueli
International Conference on Computer Aided…
1993
Corpus ID: 9191147
In this paper we study the reachability analysis of a simple class of hybrid systems, namely multi-linear systems. Such systems…
Expand
1992
1992
An Operational Semantics for the Guarded Command Language
J. Lukkien
International Conference on Mathematics of…
1992
Corpus ID: 35572705
In [6], Dijkstra and Scholten present an axiomatic semantics for Dijkstra's guarded command language through the notions of…
Expand
1991
1991
A Distributed Implementation of a Task Pool
.. P. Hofstee
,
J. Lukkien
,
Jan L. A. van de
,
SnepscheutComputer
,
ScienceCalifornia
Research Directions in High-Level Parallel…
1991
Corpus ID: 9730802
In this paper we present a distributed algorithm to implement a task pool. The algorithm can be used to implement a processor…
Expand
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)
ACCEPT & CONTINUE