Thesis (M.S. in Information Systems)--Naval Postgraduate School, September 1990. / Thesis Advisor(s): Bui, Tung X. Second Reader: Abdel-Hamid, Tarek. "September 1990." Description based on title screen viewed on December 16, 2009. DTIC Descriptor(s): Computer programs, methodology, parametric analysis, environments, sizes(dimensions), decision support systems, cost estimates, theses, estimates, costs, cost models, mathematical models, models DTIC Identifier(s): Cost estimates, models, computer programs, decision support systems, Author(s) subject terms: Software cost estimation model; COCOMO, function point Includes bibliographical references (p. 115-118). Also available in print.

Thesis (M.S. in Operations Research)--Naval Postgraduate School, September 1990. / Thesis Advisor(s): Woods, W. Max. Second Reader: Whitaker, Lyn R. "September 1990." Description based on title screen viewed on December 17, 2009. DTIC Descriptor(s): Computer programs, intervals, confidence limits, accuracy, theses, Monte Carlo method, cycles, fortran, reliability, yield, standardization, statistical distributions, equations, confidence level, poisson density functions, failure, coherence, binomials, computerized simulation. Author(s) subject terms: Reliability, lower confidence limit, coherent systems, cyclic components. Includes bibliographical references (p. 121-122). Also available in print.

Thesis (Ph. D.)--University of Texas at Austin, 2002. / Vita. Includes bibliographical references. Available also from UMI Company.

Thesis (Ph. D.)--University of Texas at Austin, 2002. / Vita. Includes bibliographical references (leaves 175-180). Available also in a digital version from Dissertation Abstracts.

Thesis--M. Phil., University of Hong Kong, 1983.

Not available / text

Not available / text

Not available / text

There are many optimizations that can be applied while translating Icon programs. These optimizations and the analyses needed to apply them are of interest for two reasons. First, Icon's unique combination of characteristics requires developing new techniques for implementing them. Second, these optimizations are used in variety of languages and Icon can be used as a medium for extending the state of the art. Many of these optimizations require detailed control of the generated code. Previous production implementations of the Icon programming language have been interpreters. The virtual machine code of an interpreter is seldom flexible enough to accommodate these optimizations and modifying the virtual machine to add the flexibility destroys the simplicity that justified using an interpreter in the first place. These optimizations can only reasonably be implemented in a compiler. In order to explore these optimizations for Icon programs, a compiler was developed. This dissertation describes the compiler and the optimizations it employs. It also describes a run-time system designed to support the analyses and optimizations. Icon variables are untyped. The compiler contains a type inferencing system that determines what values variables and expression may take on during program execution. This system is effective in the presence of values with pointer semantics and of assignments to components of data structures. The compiler stores intermediate results in temporary variables rather than on a stack. A simple and efficient algorithm was developed for determining the lifetimes of intermediate results in the presence of goal-directed evaluation. This allows an efficient allocation of temporary variables to intermediate results. The compiler uses information from type inferencing and liveness analysis to simplify generated code. Performance measurements on a variety of Icon programs show these optimizations to be effective.

published_or_final_version / Electrical Engineering / Master / Master of Philosophy