Forschung & Publikationen / Research & publications

For english, please see below.

In meiner Forschung beschäftige ich mit reversibler Programmierung. Dabei geht es darum, Programme rückwärts laufen zu lassen. Ein Programm zur Berechnung der Fakultätsfunktion würde rückwärts aus der Eingabe 120 den Wert 5 berechnen (120=5!). Der Programmierer erstellt dabei in z.B. der Programmiersprache Janus einmal ein Programm (zum Beispiel für die Vorwärtsberechnung) und dieses kann automatisch rückwärts ausgeführt werden. 
Daraus entstand der RC3-Compiler, der es erlaubt Janus-Programme zu kompilieren oder interpretieren und eine virtuelle Maschine besitzt, die die in RSSA kompilierten Programme ausführen kann.
Im Juli 2023 haben wir die 15. International Conference on Reversible Computation (RC2023) an der THM ausgerichtet.

In my research, I am dealing with reversible programming, i.e. the means to run programs backwards. A program for calculating the factorial function would calculate the value 5 backwards from the input 120 (120=5!). The programmer creates a program once in e.g. the programming language Janus (for example for the forward calculation) and this can be automatically executed backwards.
This gave rise to the RC3 compiler, which allows Janus programs to be compiled or interpreted, furthermore we offer a virtual machine that can execute programs compiled from Janus to RSSA.
In July 2023, we hosted the 15th International Conference on Reversible Computation (RC2023) at THM.

Publikationen (Auszug) / Publications (excerpt)

  • Martin Kutrib, Uwe Meyer. Syntax checking either way. Theoretical Computer Science, vol. 966-967, 2023, https://doi.org/10.1016/j.tcs.2023.114000
  • Martin Kutrib, Uwe Meyer. Deterministic Real-Time Tree-Walking-Storage Automata,Proceedings of the 13th International Workshop on Non-Classical Models of Automata and Applications, {NCMA} 2023, Famagusta, North Cyprus, 18th-19th September, 2023
  • Martin Kutrib, Uwe Meyer (eds). Reversible Computation, Conference Proceedings of the 15th Conference on Reversible Computation, Giessen, Germany, 18th-19th, July 2023.
  • Martin Kutrib, Uwe Meyer. Tree-Walking Storage Automata, International Conference on Developments in Language Theory (DLT 2023),
    p. 182–194 , Springer Lecture Notes in Computer Science, https://doi.org/10.1007/978-3-031-33264-7_1
  • Martin Kutrib, Uwe Meyer. Reversible Top-Down Syntax Analysis, International Journal of Foundations of Computer Science, volume 33, 2022-11, https://doi.org/10.1142/S012905412244004X.
  • Martin Kutrib, Uwe Meyer. Syntax checking either way.  26th International Conference on Implementation and Application of Automata (CIAA), Rouen, 2022. Springer Lecture Notes in Computer Science, https://doi.org/10.1007/978-3-031-07469-1_10
  • Niklas Deworetzki, Martin Kutrib, Uwe Meyer, Pia-Doreen Ritzke. Optimizing reversible programs. 14th Conference on Reversible Computation, Urbino, 2022. Springer Lecture Notes in Computer Science, https://doi.org/10.1007/978-3-031-09005-9
  • Niklas Deworetzki, Uwe Meyer. Designing a Reversible Stack Machine (work in progress). 14th Conference on Reversible Computation 2022, Urbino, 2022, Springer Lecture Notes in Computer Science, https://doi.org/10.1007/978-3-031-09005-9
  • Niklas Deworetzki, Uwe Meyer. Program analysis for reversible languages. In Proceedings of the 10th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis (SOAP 2021). Association for Computing Machinery, New York, NY, USA, 13–18. DOI:https://doi.org/10.1145/3460946.3464314 
  • Martin Kutrib, Uwe Meyer Reversible Top-Down Syntax Analysis 25th International Conference on Developments in Language Theory (DLT 2021), Springer Verlag, August 16-20, 2021, Porto, Portugal 
  • Compiling Janus to RSSA, M. Kutrib, U. Meyer, N. Deworetzki, M. Schuster , 13th Conference on Reversible Computation (RC 2021), Springer Verlag, July 7-8, 2021, Nagoya, Japan 
  • Uwe Meyer, Björn Pfarr Patterns for Name Analysis and Type Analysis with JastAdd Submitted for publication
  • Uwe Meyer, Guido Wirtz, A formal framework handling the description and implementation of multigrid algorithms., International Conference on Supercomputing 1989, p.7-16, Heraklion, Kreta 
  • H. Kröger, U. Meyer, A. Mischnick: Partielle Auswertung und semantisch gesteuerter Compilerbau am Beispiel von LISP, in M. Broy (Hrsg.): Informatik und Mathematik, Springer Verlag 1990
  • U. Meyer: Techniques for partial evaluation of imperative languages, PEPM '91 Proceedings of the 1991 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation Pages 94-105, New Haven, CT 
  • U. Meyer: Correctness of on-line partial evaluation for a Pascal-like languages, Science of Computer Programming Volume 34, Issue 1, April 1999, Pages 55-73.
  • U. Meyer: Brauchen wir ein E-Projektmanagement?, GI Jahrestagung 2001, Pages 714-718, Wien.
  • Stefan Gerber, Uwe Meyer, Claus Richert: EA Model as Central Part of the Transformation Into a More Flexible and Powerful Organisation, EMISA 2007, Springer Lecture Notes Informatics 199, St. Goar