Travelled to:1 × Australia
2 × USA
Collaborated with:∅ T.G.Lindholm M.Crane A.Trotman
Talks about:prolog (2) discriminatori (1) treatment (1) implement (1) construct (1) maintain (1) quantiz (1) program (1) problem (1) algebra (1)
Person: Richard A. O'Keefe
DBLP: O'Keefe:Richard_A=
Contributed to:
2013
19871985Wrote 5 papers:
- CIKM-2013-CraneTO #maintenance
- Maintaining discriminatory power in quantized indexes (MC, AT, RAO), pp. 1221–1224.
- ICLP-1987-LindholmO87 #implementation #performance #prolog #semantics
- Efficient Implementation of a Defensible Semantics for Dynamic PROLOG Code (TGL, RAO), pp. 21–39.
- ICLP-1987-OKeefe87 #finite #fixpoint #problem
- Finite Fixed-Point Problems (RAO), pp. 729–743.
- SLP-1985-OKeefe85 #on the #prolog #tool support
- On the Treatment of Cuts in Prolog Source-Level Tools (RAO), pp. 68–72.
- SLP-1985-OKeefe85a #algebra #logic programming #source code #towards
- Towards an Algebra for Constructing Logic Programs (RAO), pp. 152–160.