• DocumentCode
    2301615
  • Title

    The +CAL Algorithm Language

  • Author

    Lamport, L.

  • Author_Institution
    Microsoft Res., Mountain View, CA
  • fYear
    2006
  • fDate
    24-26 July 2006
  • Firstpage
    5
  • Lastpage
    5
  • Abstract
    Summary form only given. 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
  • Keywords
    algorithmic languages; formal specification; formal verification; TLA+ specification; TLC model checker; algorithm language; programming language;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Network Computing and Applications, 2006. NCA 2006. Fifth IEEE International Symposium on
  • Conference_Location
    Cambridge, MA
  • Print_ISBN
    0-7695-2640-3
  • Type

    conf

  • DOI
    10.1109/NCA.2006.52
  • Filename
    1659468
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2301615