Institut für Programmiermethodik und Compilerbau
- 1:
Lehre. - 2: Forschung.
- 2.1:
Themen.- 2.1.1:
Constraint Handling Rules.- 2.1.1.1:
Ereignisse. - 2.1.1.2: Projekte.
- 2.1.1.3: Mitglieder.
- 2.1.1.4: Publikationen.
- 2.1.1.5: Mehr Information.
- 2.1.1.1:
- 2.1.2: Constraint-Programmierung.
- 2.1.3: Experimentelles Software-Engineering.
- 2.1.4: Integration konventioneller und formaler Methoden der Softwaretechnik.
- 2.1.5: Model Driven Development.
- 2.1.6: Programmtransformation.
- 2.1.7: Requirements-Engineering.
- 2.1.1:
- 2.2: Arbeiten.
- 2.3: Projekte.
- 2.4: Publikationen.
- 2.5: Publikationen externer Doktoranden.
- 2.6: Veranstaltungen.
- 2.1:
- 3: Mitarbeiter.
- 4: Kontakt.
GLOB-CON: Regelbasierte Propagation von Globalen Constraints
DFG-Projekt FR 1390/1-1, März 2006-2008.
Projektpartner ist Dr. Sebastian Brand, Melbourne University, Australien.
ProjektbeschreibungROARS: Reuse-Oriented Automated Reasoning Software
DAAD Probral und CAPES Projekt 415-br-probral/po/D05/30354, März 2006-2008.
Projektpartner sind Prof. Dr. Jacques Robin, Universidade Federal do Pernambuco (CInUFPE), Recife, Brasilien und Prof. Dr. Colin Atkinson, Universität Mannheim und Dr. Armin Wolf, Fraunhofer FIRST, Berlin.
Platformunabhängige Analyse und Implementierung von Constraint Handling Rules
FWO, 3E060075, 01-01-2007 bis 31-12-2010.
K.U. Leuven (Bart Demoen, Maurice Bruynooghe, Gerda Janssens)
University of Melbourne (Peter Stuckey)
Ziel des Projekts ist die Untersuchung und Entwicklung von neuen Analyse- und Implementierungstechniken für die Sprache CHR. Der spezielle Fokus liegt auf dem Entwurf einer abstrakten Maschine für CHR, der optimierenden Übersetzung von CHR durch abstrakte Interpretation, der Untersuchung der (Zeit- und Platz-)Komplexität von CHR und der Untersuchung von Techniken für Speicherplatzwiederverwendung zur Übersetzungszeit.
Mehr InformationTerminierung von CHR
FWO, 1/1/2008 bis 1/1/2012.
K.U. Leuven (Tom Schrijvers, Paolo Pilozzi, Danny De Schreye, Dean Voets).