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.
RightsThis publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. Copyright protection is not available for this work in the United States.
Showing items related by title, author, creator and subject.
McDonough, Bryan P. (Monterey, CA; Naval Postgraduate School, 2019-09);With a strong nuclear arsenal, rapidly expanding Navy, and increasing economic influence, China is quickly turning into a peer adversary that matches the United States’ military and economic strength. Strategies must be ...
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 ...
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 ...