kirancodes.me
To Proof Maintenance & Beyond!

An Extended Frame Language

F. P. Block, N. C. Chan

Abstract

This paper describes several extensions to the traditional frame based programming semantics. We generalize the treatment of slots to include frame-like semantics; in addition we allow slots to be referenced by complex terms, whereas previously described frame based systems typically allow only scalar slot references. The resulting frame system naturally accommodates complex data structures and provides an extremely powerful mechanism for specifying complex relationships between objects represented by frames.

DOI 10.1145/74877.74893

Related papers