recentpopularlog in

jabley : lamport   8

The PlusCal Algorithm Language
Algorithms are different from programs and should not be described with
programming languages. The only simple alternative to programming languages has been pseudo-code. PlusCal is an algorithm language that can be
used right now to replace pseudo-code, for both sequential and concurrent
algorithms. It is based on the TLA+ specification language, and a PlusCal
algorithm is automatically translated to a TLA+ specification that can be
checked with the TLC model checker and reasoned about formally.
filetype:pdf  comp-sci  lamport  formal-methods  correctness 
march 2019 by jabley

Copy this bookmark:





to read