|
| This Article | ||
| | ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
 Digg  Furl  Spurl  Blink  Simpy  Google  Del.icio.us  Y!MyWeb | ||
| Search | ||
| ||
Fifth IEEE International Symposium on Network Computing and Applications (NCA'06)
Cambridge, Massachusetts
July 24-July 26
ISBN: 0-7695-2640-3
| ASCII Text | x | ||
| Leslie Lamport, "The +CAL Algorithm Language," Network Computing and Applications, IEEE International Symposium on, pp. 5, Fifth IEEE International Symposium on Network Computing and Applications (NCA'06), 2006. | |||
| BibTex | x | ||
| @article{ 10.1109/NCA.2006.52, author = {Leslie Lamport}, title = {The +CAL Algorithm Language}, journal ={Network Computing and Applications, IEEE International Symposium on}, volume = {0}, year = {2006}, isbn = {0-7695-2640-3}, pages = {5}, doi = {http://doi.ieeecomputersociety.org/10.1109/NCA.2006.52}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - CONF JO - Network Computing and Applications, IEEE International Symposium on TI - The +CAL Algorithm Language SN - 0-7695-2640-3 SP EP A1 - Leslie Lamport, PY - 2006 KW - null VL - 0 JA - Network Computing and Applications, IEEE International Symposium on ER - | |||
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/NCA.2006.52
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.
Citation:
Leslie Lamport, "The +CAL Algorithm Language," nca, pp.5, Fifth IEEE International Symposium on Network Computing and Applications (NCA'06), 2006
Usage of this product signifies your acceptance of the Terms of Use.