Institute of Software Engineering and Compiler Construction
- 1:
Teaching. - 2: Research.
- 2.1:
Topics.- 2.1.1:
Constraint Handling Rules.- 2.1.1.1:
News and Events. - 2.1.1.2: Projects.
- 2.1.1.3: People.
- 2.1.1.4: Publications.
- 2.1.1.5: More information.
- 5714250625--.1:1:
Downloads.
- 5714250625--.1:1:
- 2.1.1.1:
- 2.1.2: Constraint Programming.
- 2.1.3: Experimental software engineering.
- 2.1.4: Integrating conventional and formal methods of software engineering.
- 2.1.5: Model Driven Development.
- 2.1.6: Program transformation.
- 2.1.7: Requirements engineering.
- 2.1.1:
- 2.2: Theses.
- 2.3: Projects.
- 2.4: Publications.
- 2.5: Publications of External Ph.D. Students.
- 2.6: Events.
- 2.1:
- 3: Staff.
- 4: Contact.
Eclipse Environment for Graph Transformation Systems based on CHR
- supports creation of GTS (visually and from CHR code)
- supports execution of GTS
- extensible analysis platform
Complete Eclipse environment with all dependencies: 
here
Documentation via diploma thesis from Mathias Wasserthal: here
State Equivalence and Confluence Checker
A SWI-Prolog-based checker for state equivalence of CHR states and confluence of terminating CHR programs has been developed by Johannes Langbein under supervision by 
Frank Raiser.
The programs, including tests, user manual and licencing information, are available here.
MTSeq
We present MTSeq, an application that combines GUI-driven multi-touch input
technology with the CHR-based music generation system APOPCALEAPS and an advanced audio engine. This combination leads to an extended user experience and an intuitive, playful access to the CHR music generation system, and thus introduces
CHR to musicians and other non-computer-scientists in an appropriate way. The application is fully modularized and its parts are loosely interconnected through a
standard IP networking layer, so it is optionally distributable across multiple machines.
This video demonstrates the usage and capabilities of MTSeq.