CASM presentation:paulweber2018abz

This is an old revision of the document!

ABZ'18 Conference Talk

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.

presentation, conference, talk, abz, 2018, ppaulweber, epescosta, uzdun

Document

BibTex

@Comment{ refnotes, namespace = "cite" }
@misc{paulweber2018abz-talk,
  title     = {{CASM-IR}: {U}niform {ASM}-{B}ased {I}ntermediate {R}epresentation for {M}odel {S}pecification, {E}xecution, and {T}ransformation},
  author    = {Paulweber, Philipp and Pescosta, Emmanuel and Zdun, Uwe},
  howpublished = {ABZ'18 Talk Slides},
  month        = {June},
  year         = {2018},
  note         = {\url{https://casm-lang.org/presentation/paulweber2018abz.pdf}}
}