Searching for authors named "Andy King" – sorted by Relevance.
34 documents found, showing 1 through 10.
Next 10 →
-
Share × Free Revisited
- …Share \Theta F ree Revisited Andy King Computing Laboratory, University of Kent at Canterbury…
- Add To MetaCart
-
A Synergistic Analysis for Sharing and Groundness which traces Linearity
- …A Synergistic Analysis for Sharing and Groundness which traces Linearity Andy King Department…
- Cited by 15 (1 self) – Add To MetaCart
-
Detecting and Exploiting Determinism in Logic Programs
- … of Computer Studies, University of Leeds Andy King, Computing Laboratory, University of Kent 1 Introduction A…
- Add To MetaCart
-
Widening polyhedra with landmarks
- …Widening Polyhedra with Landmarks Axel Simon and Andy King Computing Laboratory, University…
- Cited by 2 (1 self) – Add To MetaCart
-
Forward versus Backward Verification of Logic Programs
- …Forward versus Backward Verification of Logic Programs Andy King and Lunjin Lu 1 Computing…
- Cited by 3 (1 self) – Add To MetaCart
-
Determinacy and Determinacy Analysis
- …Determinacy and Determinacy Analysis Pat Hill Andy King y School of Computer Studies…
- Cited by 4 (3 self) – Add To MetaCart
-
Analyzing string buffers in C
- …Analyzing String Buers in C Axel Simon and Andy King Computing Laboratory, University of Kent…
- Cited by 9 (2 self) – Add To MetaCart
-
Inferring Argument Size Relationships with CLP(R)
- …Inferring Argument Size Relationships with CLP(R) Florence Benoy and Andy King Computing…
- Cited by 38 (5 self) – Add To MetaCart
-
Efficient Groundness Analysis in Prolog
- …@(email omitted); ANDY KING Computing Laboratory, University of Kent, CT2 7NF, UK a.m.king@(email omitted); Abstract Boolean…
- Add To MetaCart
-
Lower-bound Time-complexity Analysis of Logic Programs
- …Lower-bound Time-complexity Analysis of Logic Programs Andy King 1 , Kish Shen 2 and Florence…
- Cited by 15 (4 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
