Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 230,065,124 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.
Review
2017
Review
2017
State-OfThe-Art Review of Geosynthetic Clay Liners
Dejun Kong
,
Huai-na Wu
,
J. Chai
,
A. Arulrajah
2017
Corpus ID: 145816015
An important component of modern landfills is the liner system for the prevention of leachate contamination of surrounding ground…
Expand
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
2011
2011
Efficient Directionless Weakest Preconditions
David Brumley
,
Ivan Jager
2011
Corpus ID: 1089864
Verification condition (VC) generation is a fundamental part of many program analysis and applications, including proving program…
Expand
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
2006
Review
2006
Learning with hyperaudio: Cognitive load and knowledge acquisition in non-linear auditory instruction
Joerg Zumbach
,
C. Kroeber
2006
Corpus ID: 14263768
Learning with non-linear information media has become an established research area in applied learning sciences and cognitive…
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