4 citations · 4 across the 2 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…