PlusCal
≈ 2 min read
Names in other languages
No names in other languages are held for this entry yet.
Article bodies are English and are not machine-translated. A name in another language is not a translation of the article.
PlusCal (formerly called +CAL) is a formal specification language created by Leslie Lamport, which transpiles to TLA + . In contrast to TLA + 's action-oriented focus on distributed systems, PlusCal most resembles an imperative programming language and is better-suited when specifying sequential algorithms. PlusCal was designed to replace pseudocode, retaining its simplicity while providing a formally defined and verifiable language. A one-bit clock is written in PlusCal as follows: -- fair algorithm OneBitClock { variable clock \in {0, 1}; { while (TRUE) { if (clock = 0) clock := 1 else clock := 0 } } }
PlusCal (formerly called +CAL) is a formal specification language created by Leslie Lamport, which transpiles to TLA + . In contrast to TLA + 's action-oriented focus on distributed systems, PlusCal most resembles an imperative programming language and is better-suited when specifying sequential algorithms. PlusCal was designed to replace pseudocode, retaining its simplicity while providing a formally defined and verifiable language. A one-bit clock is written in PlusCal as follows: -- fair algorithm OneBitClock { variable clock \in {0, 1}; { while (TRUE) { if (clock = 0) clock := 1 else clock := 0 } } } ==External links== PlusCal tools and documentation are found on the PlusCal Algorithm Language page.
Text derived from https://en.wikipedia.org/w/index.php?oldid=1337621182 under CC BY-SA 4.0; modifications have been made.