CASM: optimized compilation of abstract state machines

Roland Lezuo, Philipp Paulweber, Andreas Krall. CASM: optimized compilation of abstract state machines. In Youtao Zhang, Prasad Kulkarni, editors, SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems 2014, LCTES '14, Edinburgh, United Kingdom - June 12 - 13, 2014. pages 13-22, ACM, 2014. [doi]

@inproceedings{LezuoPK14,
  title = {CASM: optimized compilation of abstract state machines},
  author = {Roland Lezuo and Philipp Paulweber and Andreas Krall},
  year = {2014},
  doi = {10.1145/2597809.2597813},
  url = {http://doi.acm.org/10.1145/2597809.2597813},
  researchr = {https://researchr.org/publication/LezuoPK14},
  cites = {0},
  citedby = {0},
  pages = {13-22},
  booktitle = {SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems 2014, LCTES '14, Edinburgh, United Kingdom - June 12 - 13, 2014},
  editor = {Youtao Zhang and Prasad Kulkarni},
  publisher = {ACM},
  isbn = {978-1-4503-2877-7},
}