publications:
- title: "Automated Derivation of Translators From Annotated Grammars"
  author:
  - name: "Diego Ordonez Camacho"
    link: "http://www.info.ucl.ac.be/~dordonez/Personal.html"
  - name: "Kim Mens"
    link: "http://www.info.ucl.ac.be/~km/MyResearchPages/research/"
  - name: "Mark G. J. van den Brand"
    link: "http://www.win.tue.nl/~mvdbrand/"
  - name: "Jurgen J.  Vinju"
    link: "http://homepages.cwi.nl/~jurgenv/"
  year: "2006"
  doi: "DOI: 10.1016/j.entcs.2006.10.009"
  abstract: "In this paper we propose a technique to automate the process of building translators between operations languages, a family of DSLs used to program satellite operations procedures. We exploit the similarities between those languages to semi-automatically build a transformation schema between them, through the use of annotated grammars. To improve the overall translation process even more, reducing its complexity, we also propose an intermediate representation common to all operations languages. We validate our approach by semi-automatically deriving translators between some operations languages, using a prototype tool which we implemented for that purpose."
  note: "Proceedings of the Sixth Workshop on Language Descriptions, Tools, and Applications (LDTA 2006)"
  links:
    successor: "https://researchr.org/publication/OrdonezCamacho2009"
    "url": "http://www.sciencedirect.com/science/article/B75H1-4M59GXV-B/2/83b4a65e7076a334c1c86ca9b5730aee"
  tags:
  - "programming languages"
  - "model-to-model transformation"
  - "intermediate representation"
  - "translation"
  - "operations languages"
  - "SDF"
  - "XML"
  - "XML Schema"
  - "transformation language"
  - "source-to-source"
  - "model transformation"
  - "DSL"
  - "metaprogramming"
  - "systematic-approach"
  - "ASF+SDF"
  - "open-source"
  - "transformation"
  - "grammar"
  - "program transformation"
  researchr: "https://researchr.org/publication/OrdonezCamacho2006121"
  cites: 0
  citedby: 0
  journal: "Electronic Notes in Theoretical Computer Science"
  volume: "164"
  number: "2"
  kind: "article"
  key: "OrdonezCamacho2006121"
- title: "Automated generation of program translation and verification tools using annotated grammars"
  author:
  - name: "Diego Ordonez Camacho"
    link: "http://www.info.ucl.ac.be/~dordonez/Personal.html"
  - name: "Kim Mens"
    link: "http://www.info.ucl.ac.be/~km/MyResearchPages/research/"
  - name: "Mark G. J. van den Brand"
    link: "http://www.win.tue.nl/~mvdbrand/"
  - name: "Jurgen J.  Vinju"
    link: "http://homepages.cwi.nl/~jurgenv/"
  year: "2010"
  doi: "http://dx.doi.org/10.1016/j.scico.2009.10.003"
  links:
    doi: "http://dx.doi.org/10.1016/j.scico.2009.10.003"
  tags:
  - "translation"
  - "program verification"
  - "grammar"
  researchr: "https://researchr.org/publication/CamachoMBV10"
  cites: 0
  citedby: 0
  journal: "Science of Computer Programming"
  volume: "75"
  number: "1-2"
  pages: "3-20"
  kind: "article"
  key: "CamachoMBV10"