This is an old revision of the document!
#+options: toc:nil
* Language
The CASM language is an Abstract State Machine (ASM) modeling and specification language. Its syntax][syntax is influenced in part by https://www.uni-ulm.de/in/pm/forschung/projekte/coreasm][CoreASM and other ASM languages, but includes language concepts which are well known in modern programming languages as well. Different to existing ASM implementations is that CASM is a static strong inferred typed ASM language. Before we describe various language constructs lets have a look at the /Hello World/ specification to outline the basic structure of the CASM modeling language:
#+html:
The /Hello World/ application specified in CASM:
#+caption: asdf
#+begin_src casm -n
CASM
init HelloWorld
rule HelloWorld =
{
println( "Hello World!" )
} #+end_src #+html:
Copyright © 2014-2025 CASM Organization.
All rights reserved.