Logical Foundations of Object-Oriented and Frame-Based Languages


We propose a novel formalism, called <italic>Frame Logic</italic> (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.

DOI: 10.1145/210332.210335

Extracted Key Phrases

Citations per Year

1,910 Citations

Semantic Scholar estimates that this publication has 1,910 citations based on the available data.

See our FAQ for additional information.

Cite this paper

@article{Kifer1995LogicalFO, title={Logical Foundations of Object-Oriented and Frame-Based Languages}, author={Michael Kifer and Georg Lausen and James Wu}, journal={J. ACM}, year={1995}, volume={42}, pages={741-843} }