PlusCal
id:
pluscal-319-7462851
title:
PlusCal
text:
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:
brand slug:
wiki
category slug:
encyclopedia
description:
Formal specification language created by Leslie Lamport
original url:
https://en.wikipedia.org/wiki/PlusCal
date created:
date modified:
2023-08-22T15:21:47Z
main entity:
{"identifier":"Q7205583","url":"https://www.wikidata.org/entity/Q7205583"}
image:
fields total:
13
integrity:
14