Program Transformation Lab

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 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 (subject to last-minute change ...)

1. LaTeX2SciPy
   1. transformation of a matrix given in LaTeX to Python
   2. use SciPy to compute various decompositions (LU, SVD, etc.)
   3. transformation of the results back to LaTeX
   4. coverage of (nearly) all SciPy decompositions
2. LaTeX2SymPy
   1. transformation of a formula given in LaTeX to Python
   2. use of SymPy for differentiation
   3. transformation of differentiated formula back to LaTeX
   4. coverage of (nearly) all SymPy differentiation features for a wide range of formulas
3. Latex2gnuplot
   1. transformation of a formula from LaTeX to gnuplot
   2. plotting with gnuplot to (PDF) picture
   3. integration of the picture into the LaTeX document
   4. coverage of a wide range of 1D and 2D formulas

Agenda

• Kick-Off: 11.04.2025 at 10am, room 231, IT Center, Seffenter Weg 23.
• Proposal: Presentation on 25.04.2025 at 10am room 231.
• Requirements and Design: Presentation on 23.05.2025 at 10am in room 231.
• Final Presentation on 04.07.2025 at 10am in room 231.
• Publication (PDF report) by 18.07.2025 at 11:59pm.