Semantic Analyses for Storage Management Optimization in Functional Language Implementation

Abstract

One of the major overheads in implementing functional languages is the storage management overhead due to dynamic allocation and automatic reclamation of indefinite-extent storage. This dissertation investigates the problems of statically inferring lifetime information about dynamically-allocated objects in higher-order polymorphic functional languages, both strict and non-strict, and of applying that information to reduce the storage management overhead. We have developed a set of compile-time semantic analyses for a higher-order, monomorphic, strict functional language based on denotational semantics and abstract interpretation.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Sep 01, 1991
Accession Number
AD1020197

Entities

People

  • Young G. Park

Organizations

  • New York University

Tags

Communities of Interest

  • Advanced Electronics

DTIC Thesaurus Topics

  • Abstracts
  • Automatic
  • Language
  • Linguistics
  • Optimization
  • Reclamation
  • Semantics
  • Theses

Fields of Study

  • Computer science

Readers

  • Computational Linguistics
  • Environmental Engineering.

Technology Areas

  • AI & ML
  • AI & ML - Machine Learning Algorithms
  • AI & ML - Machine Translation