Institute of Software Engineering and Compiler Construction
- 1:
Teaching.- 1.1:
Summer term 2012. - 1.2: Winter term 2011/2012.
- 1.2.1:
Constraint programming. - 1.2.2: Embedded softwareengineering for automotive systems.
- 1.2.3: Functional programming.
- 1.2.4: Foundations of compiler construction.
- 1.2.5: Management of Sotware Projects.
- 1.2.6: Software engineering I.
- 1.2.7: Algebraic structures in computer science.
- 1.2.8: Formal specification languages and their semantics.
- 1.2.9: Techniques of formal program development.
- 1.2.10: Advanced techniques for typical applications in computer science.
- 1.2.11: Logic-based programming languages.
- 1.2.12: Constraint-Programming Practice.
- 1.2.13: Software Construction.
- 1.2.14: Experimental software engineering.
- 1.2.15: Functional programming.
- 1.2.1:
- 1.3: Regularly offered courses.
- 1.4: Former courses.
- 1.5: Topics for diploma theses, Master's theses and practical work.
- 1.1:
- 2: Research.
- 3: Staff.
- 4: Contact.
Project Constraint-Programming Practice
First meeting: Thursday, 2011-10-20 14:00 in O27/121.
Summary
Constraint programming combines declarative programming with efficient problem solving techniques in particular mathematical optimization und artificial intelligence. It is a subject of active research which already showcases a substantial number of industrial applications.
Programming will be done in Prolog or Java with Constraint Handling Rules (CHR). A Prolog-based version of CHR can be tried online.
Students will learn basic understanding and knowledge on principles and practice of constraint programming. This will be applied and deepened in terms of a comprehensive project in which students learn to use constraint programming for modeling and solving of a problem.
Previous knowledge of CHR and the Eclipse environment is advantageous but not required.
This project is part of the project module Constraint Programming to which the two courses 
Constraint-Programming and Rule-Based Programming also belong to.
Requirements for participation
- no previous knowledge of (J)CHR is required, but the will to familiarize oneself with it.
- solid knowledge of Java or Prolog programming
Topics
All topics are related to current work in our CHR research group. The chosen topic should appeal to the student, hence, the following are only proposals, which can be modified. Own ideas of participants are equally welcomed.
- IDE support for CHR (Eclipse)
- Code Generation (CHR and/or Java)
- Constraint-store Visualization
- Parallel CHR (with GPUs)
- Source-to-Source transformation tool
- Constraint solvers
- CHR implementation (with persistent constraints)
- Program analysis tools