Boolean Classes,

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)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Sep 01, 1986
Accession Number
ADA183856

Entities

People

  • David Mcallester
  • Ramin Zabih

Organizations

  • Massachusetts Institute of Technology

Tags

Communities of Interest

  • C4I

DTIC Thesaurus Topics

  • Algorithms
  • Artificial Intelligence
  • Capacitors
  • Computer Languages
  • Computer Programming
  • Computer Science
  • Formal Languages
  • Hierarchies
  • Information Systems
  • Language
  • Massachusetts
  • Object Oriented Programming
  • Object-Oriented Programming Language
  • Programming Languages
  • Research Facilities
  • Specifications

Fields of Study

  • Computer science

Readers

  • Database Systems and Applications
  • Mathematical Modeling and Probability Theory.