A. Brogi. Program Composition in Computational Logic. PhD thesis, Universit`a di Pisa, 1993. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
Inheritance in Object Oriented Datalog: A Modular Logic.. - Afrati, Karali, Mitakos (1997) (Correct)
....mechanisms have been introduced, usually considering algebras of logic programs and defining operators such as union, intersection, encapsulation, overriding union etc. to perform program composition. This approach, first introduced in [O K85] have been followed by various researchers [Bro93, BMPT90, MP88]. In the second approach, the language of Horn clauses has been extended to allow implication goals in the bodies. The pioneer work is presented in [Mil86] and the work in [MP89] is an eminent one. In [Bug92] an attempt was made to combine the two approaches, proposing SelfLog, a framework where ....
A. Brogi. Program Composition in Computational Logic. PhD thesis, Universit`a di Pisa, 1993.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC