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.
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 ...
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 ...
An exploration of cognitive agility as quantified by attention allocation in a complex environment Mariscal, Miriam C. (Monterey, California: Naval Postgraduate School, 2017-03);This thesis supports the Army's mission to establish a measure for cognitive agility in soldiers. It examines attention-allocation patterns as quantified by eye-tracking data collected while subjects played a military-relevant ...