Institute of Software Engineering and Programming Languages

M.Sc. Sascha Rechenberger

At the moment, I'm working on a generic method to implement Constraint Handling Rules (CHR) as a domain-specific language, embedded into any high level programming language. CHR is a rule based language extension, designed to quickly implement and prototype constraint solvers and other algorithms and programs in a declarative manner.

Publications

2023

4.
Rechenberger, Sascha; Frühwirth, Thom
FreeCHR: An Algebraic Framework for CHR Embeddings
7th International Joint Conference on Rules and Reasoning (RuleML+RR '23), Oslo, Norway
October 2023
DOI:10.1007/978-3-031-45072-3_14
ISBN:978-3-031-45072-3

2019

3.
Rechenberger, Sascha
Informationstheoretische Analyse von SLS-Solvern
Masterarbeit
Universität Ulm
Institut für Theoretische Informatik
January 2019

2018

2.
Kögel, Stefan; Tichy, Matthias; Groner, Raffaela; Stegmaier, Michael; Götz, Stefan; Rechenberger, Sascha
Developing an Optimizing Compiler for the Game Boy as a Software Engineering Project
Software Engineering Education and Training Track of the 40th International Conference on Software Engineering (ICSE SEET 2018), Gothenburg, Sweden
May 2018
DOI:10.1145/3183377.3183388
File:/fileadmin/website_uni_ulm/iui.inst.170/home/stegmaier/ICSE2018_Stegmaier_OptimizingCompilerForGameBoy.pdf

2015

1.
Rechenberger, Sascha
Monadische Interpretation multiparadigmatischer Sprachkonstrukte
Bachelorarbeit
Universität Ulm
January 2015

Teaching

Exercises, Seminars and Projects

  • Exercise: Grundlagen der praktischen Informatik
  • Seminar: Current Research on Declarative Programming

  • Exercise: Logische Programmierung
  • Exercise: Constraint Programming
  • Seminar: Current Research on Declarative Programming

  • Exercise: Grundlagen der praktischen Informatik
  • Exercise: Rule-Based Programming

  • Lab: Constraint Programming
  • Proseminar: Declarative Programming Languages
  • Seminar: Rule Based and Constraint Programming

  • Exercise: Grundlagen der praktischen Informatik
  • Seminar: Rule Based and Constraint Programming
  • Project: Rule Based and Constraint Programming

  • Lab: Constraint Programming
  • Proseminar: Declarative Programming Languages
  • Seminar: Rule Based and Constraint Programming
  • Project: Rule Based and Constraint Programming

  • Lab: Rule Based Programming
  • Proseminar: Logic Based Programming Languages
  • Seminar: Rule Based and Constraint Programming
  • Project: Rule Based and Constraint Programming

  • Exercise: Einführung in die Informatik
  • Project: Rule Based and Constraint Programming

  • Lab: Rule Based Programming
  • Proseminar: Logic Based Programming Languages
  • Seminar: Rule Based and Constraint Programming
  • Project: Rule Based and Constraint Programming

  • Proseminar: Rule Based Models of Computation