An Inverse Limit Construction of a Domain of Infinite Lists

Abstract

A domain of infinite lists is constructed by taking the inverse limit of a chain of finite list domains ordered by projection. The resulting space, called L infinity, is shown to be a complete partial order. Its use as a semantic domain for non-terminating programs is illustrated. Infinite lists arise when we want to give meaning to non-terminating, yet answer producing, programs. In applicative languages lazy evaluation enables infinite objects to be progressively computed. Precise formulation of infinite lists is necessary for formal reasoning of such programs.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 1985
Accession Number
ADA442955

Entities

People

  • Young-il Choo

Organizations

  • California Institute of Technology

Tags

DTIC Thesaurus Topics

  • Abstracts
  • Availability
  • Classification
  • Construction
  • Contracts
  • Information Operations
  • Instructions
  • Language
  • Monitoring
  • Reasoning
  • Security
  • Standards
  • Test And Evaluation
  • Words (Language)

Readers

  • Calculus or Mathematical Analysis
  • Computational Linguistics

Technology Areas

  • Space