Browse by Journal
Number of items: 7.
B
Benoy, Florence, King, Andy, Mesnard, Fred (2005) Computing Convex Hulls with a Linear Solver. Theory and Practice of Logic Programming, 5 (1-2). pp. 259-271. ISSN 1471-0684. (doi:10.1017/S1471068404002261) (KAR id:37639) |
H
Howe, Jacob M., King, Andy (2003) Efficient Groundness Analysis in Prolog. Theory and Practice of Logic Programming, 3 (1). pp. 95-124. ISSN 1471-0684. (doi:10.1017/S1471068402001485) (KAR id:37536) |
Howe, Jacob M., King, Andy (2003) Three Optimisations for Sharing. Theory and Practice of Logic Programming, 3 (2). pp. 243-257. ISSN 1471-0684. (doi:10.1017/S1471068402001497) (KAR id:37579) |
K
King, Andy, Lu, Lunjin (2002) A Backward Analysis for Constraint Logic Programs. Theory and Practice of Logic Programming, 2 (4-5). pp. 517-547. ISSN 1471-0684. (doi:10.1017/S1471068402001436) (KAR id:37580) |
Kriener, Jael, King, Andy (2011) RedAlert: Determinacy Inference for Prolog. Theory and Practice of Logic Programming, 11 (4-5). pp. 182-196. (KAR id:30748) |
R
Robbins, Ed, King, Andy, Howe, Jacob M. (2020) Backjumping is Exception Handling. Theory and Practice of Logic Programming, . pp. 1-20. ISSN 1471-0684. (doi:10.1017/S1471068420000435) (KAR id:82447) |
S
Smaus, Jan-Georg, Hill, Pat, King, Andy (2001) Verifying termination and error-freedom of logic programs with block declarations. Theory and Practice of Logic Programming, 1 (4). pp. 447-486. ISSN 1471-0684. (doi:10.1017/S1471068401001107) (KAR id:37581) |