Software Lab Program Transformation

We consider source to source transformation as a generic technique in Computer Science. A given / new domain specific language (DSL) is supposed to be translated into a general purpose programming language (GPPL) such as Java or C++ by a DSL2GPPL transformation software. Some additional analyisis / transformation which is not present within the DSL level shall be provided at the GPPL level. The result shall be transformed back into the DSL. We aim for rigorous requirements analysis, object-oriented design and implementation, tests and documentation during the development of the source to source transformation software.

Zoom Link

https://rwth.zoom.us/j/91498523770?pwd=V2RFNGhUMmtwUEh3MmpHRHMzcEhTZz09

General Information

... on the administrative structure of the lab can be found here.

Topics

  1. graphviz2GPPL (similarly tikz2GPPL) 
    • transformation of an annotated graph given in graphviz format into a GPPL data structure
    • e.g. reordering of the vertices according to some criterion (e.g. breadth-first, depth-first, shortest path, ...) applied to the GPPL graph
    • unparsing of the GPPL graph back to graphviz format
  2. LaTeX2GPPL
    • transformation of a LaTeX formula to GPPL
    • some analytic (e.g. differentiation) or algebraic (e.g. use of algebraic identities) transformation
    • unparsing of the GPPL formula back to LaTeX

Agenda

  • Proposal (PDF slides to info@stce.rwth-aachen.de) by Apr 11,2021. Presentation on Apr 16, 2021 at 8:00am.
  • Requirements (slides) by May 9, 2021. Presentation on May 12, 2021 at 8:00am.
  • Design (slides) by May 30, 2021. Presentation on Jun 2, 2021 at 8:00am.
  • Implementation (slides; access to source repository on git.rwth-aachen.de) by Jun 27, 2021. Presentation on Jun 30, 2021 at 8:00am.
  • Publication (PDF report) by Jul 18, 2021.
  • Final Presentation on Jul 23, 2021 at 8:00am.