Object-Oriented Computations in Logic Programming
Abstract elided by the publisher.
Related papers
- A logic for information flow in object-oriented programs POPL 2006
- A Logical Theory of Concurrent Objects OOPSLA 1990
- Objects in Concurrent Logic Programming Languages OOPSLA 1986
- Logical Composition of Object-Oriented Interfaces OOPSLA 1987
- An Aristotelian understanding of object-oriented programming OOPSLA 2000
- An object-oriented calculus with term constraints JFP 2007
- Combining Object-Oriented and Logic Paradigms: A Modal Logic Programming Approach ECOOP 1992
- Recursive Object Types in a Logic of Object-Oriented Programs ESOP 1998