Accession Number:

ADA183856

Title:

Boolean Classes,

Descriptive Note:

Corporate Author:

MASSACHUSETTS INST OF TECH CAMBRIDGE ARTIFICIAL INTELLIGENCE LAB

Personal Author(s):

• McAllester,David
• Zabih,Ramin

Report Date:

1986-09-01

Pagination or Media Count:

16.0

Abstract:

Object-oriented programming languages all involve the notions of class and object. The authors extend the notion of class so that any Boolean combination of classes is also a class. Boolean classes allow greater precision and conciseness in naming the class of objects governed by a particular method. A class can be viewed as a predicate which is either true or false of any given object. U nlike predicates however classes have an inheritance hierarchy which is known at compile time. Boolean classes extend the notion of class, making classes more like predicates, while preserving the compile time computable inheritance hierarchy. Author

Descriptors:

• *PROGRAMMING LANGUAGES
• ALGORITHMS
• SEMANTICS
• SPECIFICATIONS

Subject Categories:

• Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE