Smalltalk-80: the language and its implementation
Smalltalk-80: the language and its implementation
Foundations of logic programming
Foundations of logic programming
Dimensions of object-based language design
OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications
Objects as closures: abstract semantics of object-oriented languages
LFP '88 Proceedings of the 1988 ACM conference on LISP and functional programming
A logical analysis of modules in logic programming
Journal of Logic Programming
A denotational semantics of inheritance and its correctness
OOPSLA '89 Conference proceedings on Object-oriented programming systems, languages and applications
Fully abstract compositional semantics for logic programs
POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Declarative modeling of the operational behavior of logic languages
Theoretical Computer Science
A transformational view of inheritance in logic programming
Logic programming
Deductive databases—theory meets practice
EDBT '90 Proceedings of the 2nd international conference on extending database technology: Advances in Database Technology
On the semantics of logic programs
Proceedings of the 18th international colloquium on Automata, languages and programming
Unfolding, procedural and fixpoint semantics of logic programs
STACS 91 Proceedings of the 8th annual symposium on Theoretical aspects of computer science
Partial evaluation in logic programming
Journal of Logic Programming
A calculus for the construction of modular Prolog programs
Journal of Logic Programming
The Semantics of Predicate Logic as a Programming Language
Journal of the ACM (JACM)
Proving Termination of General Prolog Programs
TACS '91 Proceedings of the International Conference on Theoretical Aspects of Computer Software
Syntactic and Semantic Inheritance in Logic Programming
Seminar and Workshop on Declarative Programming
The replacement operation for CLP modules
PEPM '95 Proceedings of the 1995 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Optimizing modular logic languages
ACM Computing Surveys (CSUR) - Special issue: electronic supplement to the September 1998 issue
S-semantics for logic programming: A retrospective look
Theoretical Computer Science
Theoretical foundations and semantics of logic programming
A 25-year perspective on logic programming
| Hi-index | 0.00 |
In this paper we define a compositional semantics for a generalized composition operator on logic programs. Static and dynamic inheritance as well as composition by union of clauses can all be obtained by specializing the general operator. The semantics is based on the notion of differential programs, logic programs annotated with declarations that establish the programs' external interfaces.