BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: O'Keefe:Richard_A=

Contributed to:

CIKM 20132013
ICLP 19871987
SLP 19851985

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.