Static Analysis for Program Generation Templates
MetadataShow full item record
This paper presents an approach to achieving reliable cost-effective software via automatic program generation patterns. The main idea is to certify the patterns once, to establish a reliability property for all of the programs that could possibly be generated from the patterns. We focus here on properties that can be checked via computable static analysis. Examples of methods to assure syntactic correctness and exception closure of the generated code are presented. Exception closure means that a software module cannot raise any exceptions other than those declared in its interface.
Showing items related by title, author, creator and subject.
Large-scale circulation variability over the tropical western North Pacific. Part II: Persistence and transition characteristics Harr, P.A.; Elsberry, R.L. (American Meteorological Society, 1995-05-01);The variability of the large-scale circulation over the tropical western North Pacific is described within a framework defined by recurrent 700-mb circulation patterns that were defined by a fuzzy cluster analysis. Individual ...
Jung, Yun Su (Monterey, California: U.S. Naval Postgraduate School, 1987-12);The charge distribution of periodic electron beam pulses generates patterns of sub-Cerenkov radiation distinctive of the distribution of charge with in a bunch. Mapping the radiation pattern from different charge shapes ...
Kim, Kyung Cheol (Monterey, California. Naval Postgraduate School, 2004-06);High Frequency (HF) radar backscatter instruments are being developed and tested in the marine science and defense science communities for their abilities to sense surface parameters remotely in the coastal ocean over large ...