Static Analysis for Program Generation Templates
Loading...
Authors
Berzins, Valdis
Subjects
Advisors
Date of Issue
2000
Date
Publisher
Language
Abstract
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.
Type
Article
Description
Series/Report No
Department
Organization
Identifiers
NPS Report Number
Sponsors
This research was supported in part by the U. S. Army Research Office under contract/grant number 35037-MA and 40473-MA, and in part by DARPA under contract #99-F759.
Funding
Format
Citation
Distribution Statement
Rights
This 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.