%%% ====================================================================
%%%  @LaTeX-file{
%%%     filename  = "kiferlw95.ltx",
%%%     date      = "20 November 1995",
%%%     time      = "21:41:35 EST",
%%%     author    = "David M. Jones",
%%%     email     = "jacm@theory.lcs.mit.edu",
%%%     url       = "http://theory.lcs.mit.edu/~jacm/",
%%%     address   = "Journal of the ACM
%%%                  MIT Laboratory for Computer Science
%%%                  Room NE43-316
%%%                  545 Technology Square
%%%                  Cambridge, MA 02139
%%%                  USA",
%%%     telephone = "(617) 253-5936",
%%%     FAX       = "(617) 253-3480",
%%%     checksum  = "48243 107 442 3855",
%%%     codetable = "ISO/ASCII",
%%%     supported = "yes",
%%%     docstring = "Copyright (c) 1995 by ACM, Inc.
%%%                  Permission to make digital or hard copies of part
%%%                  or all of this work for personal or classroom use
%%%                  is granted without fee provided that copies are
%%%                  not made or distributed for profit or direct
%%%                  commercial advantage and that copies bear this
%%%                  notice and the full citation on the first page.
%%%                  Copyrights for components of this work owned by
%%%                  others than ACM must be honored. Abstracting with
%%%                  credit is permitted. To copy otherwise, to
%%%                  republish, to post on servers, or to redistribute
%%%                  to lists, requires prior specific permission
%%%                  and/or a fee. Request permissions from
%%%                  Publications Dept, ACM Inc., fax +1 (212)
%%%                  869-0481, or permissions@acm.org.
%%%                  
%%%                  This is a LaTeX2e file.  To process it, you will
%%%                  need a copy of the acmabs document class, which is
%%%                  available via the following URL:
%%%
%%%                  http://theory.lcs.mit.edu/~jacm/acmart/acmabs.cls
%%%                  ",
%%%  }
%%% ====================================================================

\documentclass{acmabs}

\begin{document}

\Journal{Journal of the ACM}

\refkey{KiferLW95}

\title{Logical Foundations of Object-Oriented and Frame-Based Languages}

\author{Michael Kifer \and Georg Lausen \and James Wu}

\Pages{741--843}

\Month{July}

\Year{1995}

\Volume{42}

\Number{4}

\maketitle

\begin{abstract}

We propose a novel formalism, called \emph{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.

\end{abstract}

\begin{categories}

H.2.1 [query languages]; I.2.3 [deduction, logic programming, nonmonotonic
  reasoning]; F.4.1 [logic programming, mechanical theorem proving]

\end{categories}

\begin{terms}

Languages, Theory

\end{terms}

\begin{keywords}

Object-oriented programming, frame-based languages, deductive databases, logic
  programming, semantics, proof theory, typing, nonmonotonic inheritance

\end{keywords}

\end{document}
