\input zb-basic
\input zb-ioport
\iteman{io-port 01103546}
\itemau{Kifer, Michael; Lausen, Georg; Wu, James}
\itemti{Logical foundations of object-oriented and frame-based languages.}
\itemso{J. Assoc. Comput. Mach. 42, No.4, 741-843 (1995).}
\itemab
Summary: We propose a novel formalism, called Frame Logic (abbr., F-logic), that accounts in a clean and declarative fashion for most of the structural aspects of object-oriented and frame-based languages. These features include object identity, complex objects, inheritance, polymorphic types, query methods, encapsulation, and others. In a sense, F-logic stands in the same relationship to the object-oriented paradigm as classical predicate calculus stands to relational programming. F-logic has a model-theoretic semantics and a sound and complete resolution-based proof theory. A small number of fundamental concepts that come from object-oriented programming have direct representation in F-logic; other, secondary aspects of this paradigm are easily modeled as well. The paper also discusses semantic issues pertaining to programming with a deductive object-oriented language based on a subset of F-logic.
\itemrv{~}
\itemcc{}
\itemut{Frame Logic; frame-based languages}
\itemli{doi:10.1145/210332.210335}
\end