@inproceedings{d755ff1dd48942518f2ba05377b4f873,
title = "Higher-order strategic programming: A road to software assurance",
abstract = "Program transformation through the repeated application of simple rewrite rules is conducive to formal verification. In practice, program transformation oftentimes requires data to be moved throughout the program structure. This article explores the use of higher-order rewrite rules as the mechanism for accomplishing such data movement. The effectiveness of higher-order rewrite rules is demonstrated by showing how they can be used to perform field distribution within a Java class loader. An approach to formal verification of a higher-order strategic implementation of a class loader is also briefly discussed.",
keywords = "Distributed data problem, Higher-order rules, Java class loader, Program transformation, Sandia Secure Processor",
author = "Winter, {Victor L.} and Steve Roach and Fares Fraij",
year = "2004",
language = "English (US)",
isbn = "0889864276",
series = "Proceedings of the Eigtht IASTED International Conference on Software Engineering and Applications",
pages = "350--355",
editor = "M.H. Hamza",
booktitle = "Proceedings of the Eighth IASTED International Conference on Software Engineering and Applications",
note = "Proceedings of the Eighth IASTED International Conference on Software Engineering and Applications ; Conference date: 09-11-2004 Through 11-11-2004",
}