CASM: Implementing an Abstract State Machine based Programming Language
Abstract
In this paper we present CASM, a general purpose programming language based on abstract state machines (ASMs). We describe the implementation of an interpreter and a compiler for the language. The demand for efficient execution forced us to modify the definition of ASM and we discuss the impact of those changes. A novel feature for ASM based languages is symbolic execution, which we briefly describe. CASM is used for instruction set simulator generation and for semantic description in a compiler verification project. We report on the experience of using the language in those two projects. Finally we position ASM based programming languages as an elegant combination of imperative and functional programming paradigms which may liberate us from the von Neumann style as demanded by John Backus.
- Citation
- BibTeX
Lezuo, R., Barany, G. & Krall, A.,
(2013).
CASM: Implementing an Abstract State Machine based Programming Language.
In:
Wagner, S. & Lichter, H.
(Hrsg.),
Software Engineering 2013 - Workshopband.
Bonn:
Gesellschaft für Informatik e.V..
(S. 75-90).
@inproceedings{mci/Lezuo2013,
author = {Lezuo, Roland AND Barany, Gergö AND Krall, Andreas},
title = {CASM: Implementing an Abstract State Machine based Programming Language},
booktitle = {Software Engineering 2013 - Workshopband},
year = {2013},
editor = {Wagner, Stefan AND Lichter, Horst} ,
pages = { 75-90 },
publisher = {Gesellschaft für Informatik e.V.},
address = {Bonn}
}
author = {Lezuo, Roland AND Barany, Gergö AND Krall, Andreas},
title = {CASM: Implementing an Abstract State Machine based Programming Language},
booktitle = {Software Engineering 2013 - Workshopband},
year = {2013},
editor = {Wagner, Stefan AND Lichter, Horst} ,
pages = { 75-90 },
publisher = {Gesellschaft für Informatik e.V.},
address = {Bonn}
}
Haben Sie fehlerhafte Angaben entdeckt? Sagen Sie uns Bescheid: Send Feedback
More Info
ISBN: 978-3-88579-609-1
ISSN: 1617-5468
xmlui.MetaDataDisplay.field.date: 2013
Language:
(en)

Content Type: Text/Conference Paper