PlusCal - PlusCal - Wikipedia

PlusCal (dříve volal + CAL) je jazyk formální specifikace vytvořený Leslie Lamport, který transpiles na TLA+. Na rozdíl od TLA+je akčně orientované zaměřit se na distribuované systémy, PlusCal se nejvíce podobá imperativní programování jazyk a je vhodnější při zadávání sekvenční algoritmy.[1] PlusCal byl navržen jako náhrada pseudo kód, zachovává si svou jednoduchost a zároveň poskytuje formálně definovaný a ověřitelný jazyk.[2] Jednobitové hodiny jsou v PlusCalu zapsány následovně:

- spravedlivý algoritmus OneBitClock {proměnné hodiny  v {0, 1}; {while (TRUE) {if (clock = 0) clock: = 1 else clock: = 0}}}

Viz také

Reference

  1. ^ Lamport, Leslie (28. února 2015). Principy a specifikace souběžných systémů. p. 7. Citováno 10. května 2015. PlusCal je pohodlnější než TLA+ pro popis toku řízení v algoritmu. To obecně usnadňuje zadávání sekvenčních algoritmů a víceprocesních algoritmů sdílené paměti.
  2. ^ Lamport, Leslie (2. ledna 2009). „Jazyk algoritmu PlusCal“ (PDF). Přednášky z informatiky. Springer Berlin Heidelberg. 5684 (Theoretical Aspects of Computing - ICTAC 2009): 36–60. doi:10.1007/978-3-642-03466-4_2. Citováno 10. května 2015.

externí odkazy