Skip to Main content Skip to Navigation
New interface
Conference papers

Model-driven Engineering of Machine Executable Code

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.
Document type :
Conference papers
Complete list of metadata

Cited literature [16 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01575664
Contributor : Martin Monperrus Connect in order to contact the contributor
Submitted on : Sunday, September 23, 2018 - 8:54:14 PM
Last modification on : Wednesday, September 7, 2022 - 3:36:04 PM
Long-term archiving on: : Monday, December 24, 2018 - 12:28:06 PM

File

Model-driven-Engineering-of-Ma...
Files produced by the author(s)

Identifiers

Citation

Michael Eichberg, Martin Monperrus, Sven Kloppenburg, Mira Mezini. Model-driven Engineering of Machine Executable Code. Proceedings of the 6th European Conference on Modelling Foundations and Applications, 2010, Berlin, Germany. pp.104-115, ⟨10.1007/978-3-642-13595-8_10⟩. ⟨hal-01575664⟩

Share

Metrics

Record views

86

Files downloads

299