Data Types as Lattices: Retractions, Closures and Projections.

reportActive / Technical Report | Accession Number: ADA044827 | Open PDF

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

Author(s):
Sanchis, Luis E.
Author Organization(s):
SYRACUSE UNIV N Y
Descriptive Note:
Interim rept. 1 Jun 76-31 May 77,
Supplementary Note:
DOI: 10.21236/ADA044827
Pagination:
0029

Security Markings

DOCUMENT & CONTEXTUAL SUMMARY

Distribution:
Approved For Public Release

RECORD

Collection: TR
Identifying Numbers
Report Number(s):
RADC-TR-77-291
Contract/Grant Number(s):
F30602-76-C-0325
Task Number(s):
12
Project Number(s):
5581
Monitor Series:
TR-77-291
 Subject Terms
Joint Capability Areas:
JCA_1.2.6_Concepts; JCA_6_Net Centric; JCA_5_Command and Control
Communities of Interest:
No COI(s) Identified
Descriptor(s):
*PROGRAMMING LANGUAGES, *MATHEMATICAL LOGIC, ALGORITHMS, COMPUTATIONS, SEMANTICS, RECURSIVE FUNCTIONS, FUNCTIONAL ANALYSIS, ALGEBRAIC FUNCTIONS
Field(s)/Group(s):
Theoretical Mathematics, Aerial Bombs
Keyword(s):
*Lattices(Mathematics), Galois theory, WURADC55811219, PE62702F
Report Date:
1977 Sep 01