ПлюсКал

PlusCal (ранее называвшийся +CAL ) — это формальный язык спецификаций, созданный Лесли Лампортом , который переводится в TLA. ⁺. В отличие от ТЛА ⁺ на Ориентированный на действия распределенных системах , PlusCal больше всего напоминает императивный язык программирования и лучше подходит для определения последовательных алгоритмов . ^[1] PlusCal был разработан для замены псевдокода , сохраняя его простоту и обеспечивая при этом формально определенный и проверяемый язык. ^[2] Однобитные часы записываются в PlusCal следующим образом:

-- fair algorithm OneBitClock {  variable clock \in {0, 1};  {    while (TRUE) {      if (clock = 0)        clock := 1      else         clock := 0        }  }}

См. также

Ссылки

^ Лэмпорт, Лесли (28 февраля 2015 г.). Принципы и характеристики параллельных систем . п. 7 . Проверено 10 мая 2015 г. PlusCal удобнее TLA ⁺ для описания потока управления в алгоритме. Обычно это облегчает определение последовательных алгоритмов и многопроцессных алгоритмов с общей памятью.
^ Лэмпорт, Лесли (2 января 2009 г.). «Язык алгоритмов PlusCal» (PDF) . Теоретические аспекты информатики — ICTAC 2009 . Конспекты лекций по информатике. Том. 5684. Шпрингер Берлин Гейдельберг. стр. 36–60. дои : 10.1007/978-3-642-03466-4_2 . ISBN 978-3-642-03465-7 . Проверено 10 мая 2015 г.

Внешние ссылки

Инструменты и документация PlusCal находятся на странице языка алгоритмов PlusCal .

Эта по информатике статья незавершена . Вы можете помочь Википедии, расширив ее .

[hyperbook-pluscal-1] Лэмпорт, Лесли (28 февраля 2015 г.). Принципы и характеристики параллельных систем . п. 7 . Проверено 10 мая 2015 г. PlusCal удобнее TLA ⁺ для описания потока управления в алгоритме. Обычно это облегчает определение последовательных алгоритмов и многопроцессных алгоритмов с общей памятью.

[pluscal-original-2] Лэмпорт, Лесли (2 января 2009 г.). «Язык алгоритмов PlusCal» (PDF) . Теоретические аспекты информатики — ICTAC 2009 . Конспекты лекций по информатике. Том. 5684. Шпрингер Берлин Гейдельберг. стр. 36–60. дои : 10.1007/978-3-642-03466-4_2 . ISBN 978-3-642-03465-7 . Проверено 10 мая 2015 г.

[1]

[2]