106 citations · 730 across the 20 of their papers we have counts for
1 paper · 1 filter
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…