Logical foundations of object-oriented and frame-based languages

DMCA

Logical foundations of object-oriented and frame-based languages (1995)

Cached

Download Links

Other Repositories/Bibliography

DBLP

by Michael Kifer , Georg Lausen , James Wu

Venue:	JOURNAL OF THE ACM
Citations:	875 - 65 self

BibTeX

@ARTICLE{Kifer95logicalfoundations,
    author = {Michael Kifer and Georg Lausen and James Wu},
    title = {Logical foundations of object-oriented and frame-based languages},
    journal = {JOURNAL OF THE ACM},
    year = {1995},
    volume = {42},
    pages = {741--843}
}

OpenURL

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 objectoriented 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.

Keyphrases

frame-based language logical foundation frame logic model-theoretic semantics object identity complete resolution-based proof theory direct representation novel formalism semantic issue deductive object-oriented language objectoriented paradigm declarative fashion structural aspect polymorphic type fundamental concept object-oriented programming classical predicate calculus secondary aspect query method small number complex object

DMCA