플러스칼

PlusCal

PlusCal(이전에는 +CAL이라고 불림)은 레슬리 램포트가 만든 정식 사양 언어로서 TLA로+ 옮겨진다.TLA가+ 분산형 시스템에 초점을 맞춘 것과 대조적으로, PlusCal은 필수 프로그래밍 언어와 가장 유사하며 순차 알고리즘을 지정할 때 더 적합하다.[1]PlusCal은 가성음을 대체하도록 설계되어 그 단순성을 유지하면서 공식적으로 정의되고 검증 가능한 언어를 제공하였다.[2]1비트 시계는 다음과 같이 PlusCal로 작성된다.

-- fair 알고리즘 OneBitClock {variable clock \in {0, 1}; { while (TRUE) { if (clock = 0) clock := 1 다른 시계 : 0 } }}

참고 항목

참조

  1. ^ Lamport, Leslie (28 February 2015). Principles and Specifications of Concurrent Systems. p. 7. Retrieved 10 May 2015. 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.
  2. ^ Lamport, Leslie (2 January 2009). "The PlusCal Algorithm Language" (PDF). Lecture Notes in Computer Science. Springer Berlin Heidelberg. 5684 (Theoretical Aspects of Computing - ICTAC 2009): 36–60. doi:10.1007/978-3-642-03466-4_2. Retrieved 10 May 2015.

외부 링크

Stub icon

이 컴퓨터 과학 기사는 단조롭다.위키피디아를 확장하여 도울 수 있다.