Data Types as Lattices: Retractions, Closures and Projections.

Abstract

This paper presents the mathematical principles of lattice theory oriented toward the theory of computation. Notions like representations, retraction, projection, and closure have been previously developed, but the connections between them have not been shown elsewhere. Attempted is a systematic treatment of this lattice theory that involves the definition of data structures. (Author)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Sep 01, 1977
Accession Number
ADA044827

Entities

People

  • Luis E. Sanchis

Organizations

  • Syracuse University

Tags

DTIC Thesaurus Topics

  • Additives (Chemicals)
  • Classification
  • Computations
  • Computer Programming
  • Inclusions
  • Information Science
  • Language
  • Neurobehavioral Manifestations
  • Notation
  • Numbers
  • Personality
  • Programming Languages
  • Real Numbers
  • Sequences
  • Theory Of Computation
  • Words (Language)

Fields of Study

  • Mathematics

Readers

  • Materials Science and Engineering.
  • Mathematical Modeling and Probability Theory.