Program Optimization Based on a Non-Procedural Specification.

Abstract

This dissertation deals with two related problems: development of a methodology for achieving memory and computation efficiency of computer programs, and the use of this methodology in very high-level programming and associated automatic program generators. Computer efficiency of programs has many aspects. Usually additional memory saves computation by avoiding the need to recompute certain variables. Our emphasis has been on reducing memory use by variables sharing memory space, without requiring recomputation. It will be shown that this also reduces computation overhead. The most significant savings are due to sharing memory in iterative steps. This is the focus of the reported research.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Dec 20, 1981
Accession Number
ADA111809

Entities

People

  • Kang-sen Lu

Organizations

  • Moore School of Electrical Engineering

Tags

Communities of Interest

  • C4I

DTIC Thesaurus Topics

  • Artificial Intelligence
  • Automatic Programming
  • Computations
  • Computer Architecture
  • Computer Languages
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Data Processing
  • High Level Languages
  • Information Processing
  • Information Systems
  • Procedural Programming
  • Procedural Programming Language
  • Programming Languages
  • Software Development

Fields of Study

  • Computer science

Readers

  • Computational Modeling and Simulation
  • Parallel and Distributed Computing.

Technology Areas

  • Space