Software Lab: Program Transformation

We consider source to source transformation as a generic technique in Computer Science. A given language (DSL) is supposed to be translated into a different language X by a DSL2X transformation software. Some additional analyisis / transformation which is not present in the DSL shall be provided by X. 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.

General Information

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

Topics

  1. Solving linear equation systems (LaTeX2GPPL) (GPPL = General Purpose Language)
    1. transformation of a linear equation system given in LaTeX to GPPL
    2. can be given in human readable or matrix form
    3. use libraries in GPPL to solve the linear equation system (if possible)
    4. transformation of the results (optionally with intermediate steps) back into LaTeX
    5. choose a suitable way to solve the equation systems, depending on the properties of the matrix.
    6. An example input and a possible mock output can be found here
  2. Solve constrained linear optimization problem in standard form
    1.  transformation of a linear equation system given in LaTeX to GPPL
    2. is given in human readableform
    3. use libraries in GPPL to solve the constrained optimization problem (if possible)
    4. transform the results back into LaTeX
  3. Some examples can be found here.

Agenda

  • Kickoff: 08.02.2024, 11am, Room 231 IT Center
  • Proposal (PDF slides to moodle) Presentation on 26.04. 14:30 at IT Center.
  • Requirements: Presentation on 17.05. 14:30 at IT Center.
  • Design: Presentation on 31.05. 14:30 at IT Center.
  • Implementation (slides; access to source repository on git.rwth-aachen.de) Presentation on 14.06. 14:30 at IT Center.
  • Final Presentation on 03.07. 14:30 at IT Center.
  • Publication (PDF report) by Jul X.