PlusCal
Encyclopedia
PlusCal is an algorithmic language
. It is designed to replace pseudocode
. PlusCal can express both sequential
and concurrent algorithms and features means to handle nondeterminism
, atomicity and model checking
.
ALGOL
ALGOL is a family of imperative computer programming languages originally developed in the mid 1950s which greatly influenced many other languages and became the de facto way algorithms were described in textbooks and academic works for almost the next 30 years...
. It is designed to replace pseudocode
Pseudocode
In computer science and numerical computation, pseudocode is a compact and informal high-level description of the operating principle of a computer program or other algorithm. It uses the structural conventions of a programming language, but is intended for human reading rather than machine reading...
. PlusCal can express both sequential
Sequential algorithm
Sequential algorithm can refer to, in general, any algorithm executed sequentially, but, specifically, one for decoding a convolutional code....
and concurrent algorithms and features means to handle nondeterminism
Nondeterministic algorithm
In computer science, a nondeterministic algorithm is an algorithm that can exhibit different behaviors on different runs, as opposed to a deterministic algorithm. There are several ways an algorithm may behave differently from run to run. A concurrent algorithm can perform differently on different...
, atomicity and model checking
Model checking
In computer science, model checking refers to the following problem:Given a model of a system, test automatically whether this model meets a given specification....
.