106 citations · 730 across the 20 of their papers we have counts for
1 paper · 2 filters
Maria Garcia de la Banda, Warwick Harvey, Kim Marriott +2
Recent constraint logic programming (CLP) languages, such as HAL and Mercury, require type, mode and determinism declarations for predicates. This information allows the generation…