Using Typed Interfaces to Compose CHR Programs (2000)
by
Georg Ringwelski
,
Hans Schlenker
| Venue: | In Proceedings of Second Workshop on Rule-Based Constraint Reasoning and Programming |
| Citations: | 2 - 1 self |
BibTeX
@INPROCEEDINGS{Ringwelski00usingtyped,
author = {Georg Ringwelski and Hans Schlenker},
title = {Using Typed Interfaces to Compose CHR Programs},
booktitle = {In Proceedings of Second Workshop on Rule-Based Constraint Reasoning and Programming},
year = {2000}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Citations
| 359 | Theory and practice of constraint handling rules - Frühwirth - 1998 |
| 209 | B.: “Fundamentals of Algebraic Specifications 1 - Ehrig, Mahr - 1985 |
| 111 | Functional Programming - Field, Harrison - 1988 |
| 54 | Modular logic programming - Brogi, Mancarella, et al. - 1994 |
| 32 | Fundamentals of Algebraic Speci 1 - Ehrig, Mahr - 1985 |
| 24 | Ecl i ps e : A platform for constraint logic programming - Wallace, Novello, et al. - 1997 |
| 23 | Compiling constraint handling rules into prolog with attributed variables - Holzbaur, Frühwirth - 1999 |
| 7 | Transition specifications for dynamic abstract data types - Groe-Rhode - 1997 |
| 4 | Transition speci for dynamic abstract data types. Applied Categorical Structures - Groe-Rhode - 1997 |
| 3 | Type inference in CHR programs for the composition of constraint systems - Ringwelski, Schlenker |
