Dependable and ubitquitous Autocode Generation
N. Audsley, I. J.Bate and S.K. Crook-Dawkins
Automatic Code Generation is a process of deriving programs directly from a design representation. Many commercial tools provide this capability. Whilst these tools provide greater flexibility and responsiveness in design, the market is technology-focussed and immature. No infrastructure or established theory exists which could be used to deploy the technology across large projects whilst upholding coding standards and safety requirements. The objective of this paper is to develop a model or architecture for code generation that will be sufficiently well defined and unambiguous to support formal reasoning whilst also retaining sufficient expressive power to be useful. These models are based on statically defined mappings.
BibTex Entry
@inproceedings{Audsley2002,
author = {N. Audsley and I. J.Bate and S.K. Crook-Dawkins},
booktitle = {Proceedings of the 7th CaberNet Radicals Workshop, Bertinoro, Italy},
title = {Dependable and ubitquitous Autocode Generation},
year = {2002}
}