Using typed interfaces to compose chr programs (2000) [1 citations — 1 self]
by Georg Ringwelski, Hans Schlenker
In Proceedings of Second Workshop on Rule-Based Constraint Reasoning and Programming
http://4c.ucc.ie/web/upload/publications/inProc/cp-rule.ps
Add To MetaCart
Abstract:
Citations
| 238 | Theory and practice of constraint handling rules – Frühwirth - 1998 |
| 205 | Fundamentals of Algebraic Specification 1 – Ehrig, Mahr - 1985 |
| 108 | Functional Programming – Field, Harrison - 1988 |
| 51 | Modular logic programming – Brogi, Mancarella, et al. - 1994 |
| 33 | Fundamentals of Algebraic Speci 1 – Ehrig, Mahr - 1985 |
| 22 | Ecl i ps e : A platform for constraint logic programming – Wallace, Novello, et al. - 1997 |
| 17 | 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 |
| 1 | Type inference in chr programs for the composition of constraint systems – Ringwelski, Schlenker - 2000 |
