This talk is based on preliminary work with Gregory Duck and Peter Stuckey (University of Melbourne). Constraint Handling Rules (CHR) is a rule-based bottom-up language, originally intended for writing constraint solvers, but now used more and more for general purpose programming. Because of its high-level nature, CHR is well-suited for program analysis, to infer behavioral properties such as termination, confluence and time complexity and to drive optimized compilation. Up to now, program analysis of CHR has been done in an ad hoc fashion. In this work we aim to replace this unstructured approach with the general program analysis framework of abstract interpretation. The talk presents our current formulation of the framework for CHR together with two instantations (storage analysis and groundness analysis).
Hinweise zur Teilnahme:
Termin:
10.11.2004 14:30 - 16:00
Veranstaltungsort:
Oberer Eselsberg, Universität, Festpunkt O27, Raum 123
89081 Ulm
Baden-Württemberg
Deutschland
Zielgruppe:
Wissenschaftler
E-Mail-Adresse:
Relevanz:
lokal
Sachgebiete:
Informationstechnik
Arten:
Eintrag:
27.10.2004
Absender:
Peter Pietschmann
Abteilung:
Presse- und Öffentlichkeitsarbeit
Veranstaltung ist kostenlos:
unbekannt
Textsprache:
Deutsch
URL dieser Veranstaltung: http://idw-online.de/de/event12382
Sie können Suchbegriffe mit und, oder und / oder nicht verknüpfen, z. B. Philo nicht logie.
Verknüpfungen können Sie mit Klammern voneinander trennen, z. B. (Philo nicht logie) oder (Psycho und logie).
Zusammenhängende Worte werden als Wortgruppe gesucht, wenn Sie sie in Anführungsstriche setzen, z. B. „Bundesrepublik Deutschland“.
Die Erweiterte Suche können Sie auch nutzen, ohne Suchbegriffe einzugeben. Sie orientiert sich dann an den Kriterien, die Sie ausgewählt haben (z. B. nach dem Land oder dem Sachgebiet).
Haben Sie in einer Kategorie kein Kriterium ausgewählt, wird die gesamte Kategorie durchsucht (z.B. alle Sachgebiete oder alle Länder).