%0 Journal Article %1 kifer95 %A Kifer, Michael %A Lausen, George %A Wu, James %D 1995 %J Journal of the Association for Computing Machinery %K logic %N 4 %P 741--783 %T Logical Foundations of Object-Oriented and Frame-based Languages %U http://www.cs.toronto.edu/~nernst/papers/kifer-flogic.pdf %V 42 %X 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.

@article{kifer95, abstract = {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.}, added-at = {2006-03-24T16:34:33.000+0100}, author = {Kifer, Michael and Lausen, George and Wu, James}, biburl = {https://www.bibsonomy.org/bibtex/2797c1566a8555393454adea2dbfd1e7a/neilernst}, citeulike-article-id = {121885}, comment = {describes the implementation of F-Logic}, description = {sdasda}, interhash = {a14ad8e99a051f8a341b1e2a86c09713}, intrahash = {797c1566a8555393454adea2dbfd1e7a}, journal = {Journal of the Association for Computing Machinery}, keywords = {logic}, number = 4, pages = {741--783}, priority = {2}, timestamp = {2006-03-24T16:34:33.000+0100}, title = {Logical {F}oundations of {O}bject-{O}riented and {F}rame-based {L}anguages}, url = {http://www.cs.toronto.edu/~nernst/papers/kifer-flogic.pdf}, volume = 42, year = 1995 }