午夜探花

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
Oktober 2023
DOI:
ISBN:978-3-031-45072-3

2019

3.
Rechenberger, Sascha
Informationstheoretische Analyse von SLS-Solvern
Masterarbeit
Universit盲t Ulm
Institut f眉r Theoretische Informatik
Januar 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
Mai 2018
DOI:
Datei:/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
Januar 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

M.Sc. Sascha Rechenberger

________Sascha Rechenberger________
_________
__________M.Sc.__________Sascha__________Rechenberger_________
________
_______
____________
________
__Research Assistant_
____
__
午夜探花
__Institute of Software Engineering and Programming Languages
__Albert-Einstein-Allee 11
_____
____89069____Ulm___
______
Germany
_
__
_____
________E-Mail:____ www: Sascha Rechenberger
Raum: O27 4104
Telefon: +49731/50-24171