词条 | PlusCal |
释义 |
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.[1] PlusCal was designed to replace pseudocode, retaining its simplicity while providing a formally-defined and verifiable language.[2] A one-bit clock is written in PlusCal as follows: variable clock \\in {0, 1}; { while (TRUE) { if (clock = 0) clock := 1 else clock := 0 } } } See also
References1. ^{{cite book | last = Lamport | first = Leslie | authorlink = Leslie Lamport | date = 28 February 2015 | title = Principles and Specifications of Concurrent Systems | url= http://research.microsoft.com/en-us/um/people/lamport/tla/hyperbook.html | page= 7 | quote = "PlusCal is more convenient than TLA+ for describing the flow of control in an algorithm. This generally makes it better for specifying sequential algorithms and shared-memory multiprocess algorithms." | access-date = 10 May 2015}} 2. ^{{cite journal | last = Lamport | first = Leslie | authorlink = Leslie Lamport | title = The PlusCal Algorithm Language | journal = Lecture Notes in Computer Science | volume = 5684 | issue = Theoretical Aspects of Computing - ICTAC 2009 | pages = 36–60 | publisher = Springer Berlin Heidelberg | date = 2 January 2009 | url = http://research.microsoft.com/en-us/um/people/lamport/pubs/pluscal.pdf | doi = 10.1007/978-3-642-03466-4_2 | accessdate = 10 May 2015 }} External links
3 : Formal methods|Formal specification languages|Algorithm description languages |
随便看 |
|
开放百科全书收录14589846条英语、德语、日语等多语种百科知识,基本涵盖了大多数领域的百科知识,是一部内容自由、开放的电子版国际百科全书。