出典:Wikipedia
出典:『Wikipedia』 (2010/09/18 20:09 UTC 版)
PlusCal (formerly known as +Cal) 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.