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
Distribution Statement : APPROVED FOR PUBLIC RELEASE