Bibliography on Integrating OOP and LP

Appeared in Volume 6/2, May 1993

Keywords: OOP.

vladimir@cs.UAlberta.CA
Vladimir Alexiev
28th March 1993

Available from menaik.cs.ualberta.ca in directory pub/oolog

README; this file

oolog.ps.Z; the whole bibliography in Postscript (ready for printing)

bibunits.sty; format a sectioned bibliography (by Jose Alberto Fernandez
(alberto@cs.umd.edu))

oolog.tex; master file which calls the section files below

logic.bib; Logics to Model Object-Oriented Notions (except:)

inherit.bib; Logics for Inheritance Systems; Modules (Worlds) for LP

lang.bib; Languages Integrating OOP and LP (except:)

impl.bib; (More Like) Implementation-Oriented Developments

concurr.bib; Connections to Concurrent LP and Actors

constr.bib; Connections to Constraint LP

db.bib; Deductive Object-Oriented Databases

kr.bib; Applications to Knowledge Representation

appl.bib; Other Applications

specif.bib; Formal Specification of Object-Oriented Systems

There is also a variant of oolog.ps, called oolog1.ps, which does not contain a table of contents, kr.bib and appl.bib.

The division of the bibliography into sections is not perfect. Therefore I'd suggest that you get the whole bibliography first (oolog.ps.Z) and then the parts (xx.bib) you are interested in.

The following sources are covered: Computer and Control Abstracts (1989 -1992), ACM Guide to Computing Literature (1991 and 1992), online databases COMPENDEX (1987-1992) and INSPEC (1988(?)-1992). INSPEC is the most comprehensive but I didn't have full access to it. I have also searched the 'Index to Scientific Reviews' but haven't yet included the titles.