On the Declarative and Procedural Semantics of Deductive Object-Oriented Systems


Authors: Gillian Dobbie, Rodney Topor
Source: GZipped PostScript (89kb); Adobe PDF (318kb)

We present declarative and procedural semantics for a deductive object-oriented language, Gulog. The declarative semantics is based on preferred minimal models. We describe both bottom-up and top-down query evaluation procedures and show that they are sound with respect to the declarative semantics. The results contribute to our understanding of the interaction of inheritance, overiding and deduction in the presence of both functional and set-valued methods, and multiple inheritance.

[Up to Computer Science Technical Report Archive: Home Page]