Accession Number : ADA111809

Title :   Program Optimization Based on a Non-Procedural Specification.

Descriptive Note : Doctoral thesis,

Corporate Author : MOORE SCHOOL OF ELECTRICAL ENGINEERING PHILADELPHIA PA DEPT OF COMPUTER AND INFORMATION SCIENCES

Personal Author(s) : Lu,Kang-Sen

PDF Url : ADA111809

Report Date : 20 Dec 1981

Pagination or Media Count : 290

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.

Descriptors :   *Computer programming, *Optimization, *Memory devices, *Automatic programming, *High level languages, Methodology, Efficiency, Specifications, Reduction, Algorithms, Loops, Heuristic methods, Sizes(Dimensions), Theses

Subject Categories : Computer Programming and Software
      Computer Hardware

Distribution Statement : APPROVED FOR PUBLIC RELEASE