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 an /Hello World/ specification to outline the basic structure of the CASM modeling language:

#+html:

The /Hello World/ application specified in CASM: #+begin_src casm CASM

init HelloWorld

rule HelloWorld = println( “Hello World!” ) #+end_src #+html:

Copyright © 2014-2025 CASM Organization.
All rights reserved.