This is an old revision of the document!
About
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.Members
Philipp Paulweber
Founder and owner of casm-lang, pioneer and project leader of casm, compiler construction enthusiast.
Uwe Zdun
Scientific contributor to casm, professor at University of Vienna, loves software architecture.
Dominik Inführ
Prototype language implementer of casm, compiler enthusiast, implementer of the Dora VM.
Publications
P. Paulweber, E. Pescosta, and U. Zdun. CASM-IR: Uniform ASM-Based Intermediate Representation for Model Specification, Execution, and Transformation. In 6th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, ABZ 2018, 5-8 June 2018, Southampton, UK, 2018, Springer, Lecture Notes in Computer Science 10817, pages 39-54.
P. Paulweber and U. Zdun. A Model-Based Transformation Approach to Reuse and Retarget CASM Specifications. In 5th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, Linz, Austria, 23-27th May, 2016, Springer, Lecture Notes in Computer Science 9675, pages 250-255.
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, Aachen, Germany, GI Edition - Lecture Notes in Informatics, Vol. 215, pages 75-90.
Talks, Events, and Workshops
P. Paulweber, E. Pescosta, and U. Zdun. CASM-IR: Uniform ASM-Based Intermediate Representation for Model Specification, Execution, and Transformation. Conference Talk at the 6th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, ABZ 2018, 5-8 June 2018, Southampton, UK, 2018.
Copyright © 2014-2024 CASM Organization.
All rights reserved.