200 citations · 450 across the 51 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…