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

On the Declarative and Procedural Semantics of Deductive Object-Oriented Systems,10.1007/BF00961874,Journal of Intelligent Information Systems,Gillian

On the Declarative and Procedural Semantics of Deductive Object-Oriented Systems   (Citations: 35)
BibTex | RIS | RefWorks Download
. We present declarative and procedural semantics for a deductive object-oriented language,Gulog. The declarative semantics is based on preferred minimal models. We describe bothbottom-up and top-down query evaluation procedures and show that they are sound with respectto the declarative semantics. The results contribute to our understanding of the interaction ofinheritance, overriding and deduction in the presence of both functional and set-valued methods,and multiple inheritance....
Journal: Journal of Intelligent Information Systems - JIIS , vol. 4, no. 2, pp. 193-219, 1995
Cumulative Annual
View Publication
The following links allow you to view full publications. These links are maintained by other sources not affiliated with Microsoft Academic Search.
Sort by: