Model-driven Engineering of Machine Executable Code

@INPROCEEDINGS{Eichberg2010,
  author = {Michael Eichberg and Martin Monperrus and Mira Mezini and Sven Kloppenburg},
  title = {Model-driven Engineering of Machine Executable Code},
  booktitle = {Proceedings of the 6th European Conference on Modelling Foundations
	and Applications},
  year = {2010},
  abstract = {Implementing static analyses of machine-level executable code is labor
	intensive and complex. We show how to leverage model-driven engineering
	to facilitate the design and implementation of programs doing static
	analyses. Further, we report on important lessons learned on the
	benefits and drawbacks while using the following technologies: using
	the Scala programming language as target of code generation, using
	XML-Schema to express a metamodel, and using XSLT to implement (a)
	transformations and (b) a lint like tool. Finally, we report on the
	use of Prolog for writing model transformations.},
  comment = {acceptance rate: 23/72, 31%},
  doi = {10.1007/978-3-642-13595-8_10},
  url = {http://www.monperrus.net/martin/Model-driven-Engineering-of-Machine-Executable-Code.pdf},
  x-abbrv = {ECMFA}
}