You have reached the main website of the Corinthian Abstract State Machine (CASM, pronounced [si:eɪ:es:em:]) project and organization! We use this website to publish and describe details about the CASM project, which is hosted on GitHub. CASM is still in a very early stage but you already can follow our updates on Twitter which are directly rendered as our News section.

Specification Language

The casm project consists of its own ASM language dialect which represents another concrete ASM language form just like other ASM languages e.g. CoreASM, AsmL, or AsmetaL. Check out our language and syntax.

Interpreter Application

We feature a CASM language interpreter called casmi, which performs a AST-based numeric execution and simulates the input specification accordingly to the ASM theory. Check out the current release in the download section.

Language Server Support

In our CASM language server daemon application called casmd, we implement the Language Server Protocol (LSP) to provide CASM language specific support to editor environments (LSP clients) like monaco or vscode.
Philipp Paulweber

Founder and owner of casm-lang, pioneer and project leader of casm, compiler construction enthusiast

→ Read more...

Emmanuel Pescosta

Maintainer of libcasm-fe and KDE developer (former maintainer of Dolphin)

→ Read more...

Florian Hahn

One of the first developer of libcasm-fe, loves compilers and programming languages.

→ Read more...

Roland Lezuo

Pioneer of casm, software verification and scalable translation validation specialist

→ Read more...

Uwe Zdun

Scientific contributor to casm, professor at University of Vienna, loves software architecture.

→ Read more...

Andreas Krall

Scientific contributor to casm, professor at TU Vienna, loves computer languages.

→ Read more...

Dominik Inführ

Prototype language implementer of casm, compiler enthusiast, implementer of the Dora VM.

→ Read more...

Gergö Barany

Prototype language designer of casm, compiler geek, programming language researcher.

→ Read more...

P. Paulweber, E. Pescosta, and U. Zdun. CASM-IR: Uniform ASM-Based Intermediate Representation for Model Specification, Execution, and Transformation. In Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Lecture Notes in Computer Science 10817, pages 39-54. Springer, 2018.

→ Read more...

P. Paulweber and U. Zdun. A Model-Based Transformation Approach to Reuse and Retarget CASM Specifications. In Abstract State Machines, Alloy, B, TLA, VDM, and Z - 5th International Conference, ABZ 2016, Lecture Notes in Computer Science 9675, pages 250–255. Springer, 2016.

→ Read more...

R. Lezuo, P. Paulweber, and A. Krall. CASM - Optimized Compilation of Abstract State Machines. In ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems, LCTES 2014, pages 13–22. ACM, 2014.

→ Read more...

R. Lezuo, and A. Krall. Using the CASM Language for Simulator Synthesis and Model Verification. In Proceedings of the 2013 Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools, RAPIDO 2013, Berlin, Germany, 21st January, 2013.

→ Read more...

R. Lezuo, G. Barany, and A. Krall. CASM: Implementing an Abstract State Machine based Programming Language. In Software Engineering 2013 Workshopband, 6. Arbeitstagung Programmiersprachen, ATPS 2013, 26th February - 1st March 2013 in Aachen, Volume 215 of GI Edition - Lecture Notes in Informatics, pages 75–90. February, 2013.

→ Read more...

P. Paulweber and U. Zdun. RobMoSys meets CASM. Pitch Talk at the RobMoSys 2nd Brokerage Day Event, Frankfurt, Germany, 26th August, 2017.

→ Read more...

P. Paulweber and U. Zdun. A Model-Based Transformation Approach to Reuse and Retarget CASM Specifications. Conference Talk at the Abstract State Machines, Alloy, B, TLA, VDM, and Z - 5th International Conference (ABZ'16), Linz, Austria, 27th May, 2016.

→ Read more...

P. Paulweber. An optimizing Compiler for the Abstract State Machine Language CASM. Event Talk at the Distinguished Young Alumnus Award Competition, EPILOG 2015, Vienna University of Technology, Vienna, Austria, 18th June, 2015.

→ Read more...

R. Lezuo, and A. Krall. Using the CASM Language for Simulator Synthesis and Model Verification. Workshop Talk at the Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools, RAPIDO 2013, Berlin, Germany, 21st January, 2013.

→ Read more...

R. Lezuo, G. Barany, and A. Krall. CASM: Implementing an Abstract State Machine based programming language. Workshop Talk at the Software Engineering 2013 Workshop, 6. Arbeitstagung Programmiersprachen, ATPS 2013, Aachen, Germany, 26th February, 2013.

→ Read more...

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