Searching for authors named Valdis Berzins – sorted by Relevance.
-
Static Analysis for Program Generation Templates
- 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 pro
- Add To MetaCart

