The +CAL Algorithm Language

Authors:
Leslie Lamport
Affiliations:
Microsoft Research, USA
Venue:
NCA '06 Proceedings of the Fifth IEEE International Symposium on Network Computing and Applications
Year:
2006

Citing 0
Cited 2

Linking Event-B and Concurrent Object-Oriented Programs

Electronic Notes in Theoretical Computer Science (ENTCS)
A Scalable and Oblivious Atomicity Assertion

CONCUR '08 Proceedings of the 19th international conference on Concurrency Theory

Quantified Score

Hi-index	0.00

Visualization

Abstract

Algorithms are different from programs and should not be described with programming languages. For example, algorithms are usually best described in terms of mathematical objects like sets and graphs instead of the primitive objects like bytes and integers provided by programming languages. +CAL is an algorithm language based on TLA+. A +CAL algorithm is translated to a TLA+ specification that can then be checked with the TLC model checker.