Sciweavers

Share
HASE
1998
IEEE

Incremental Development of a High Integrity Compiler: Experience from an Industrial Development

10 years 8 months ago
Incremental Development of a High Integrity Compiler: Experience from an Industrial Development
We have developed and successfully applied a technique to build a high integrity compiler from Pasp, a Pascal-like language, to Asp, the target language for a high integrity processor designed for the UK's Atomic Weapons Establishment at Aldermaston. We overview the technique itself, including a description of how it can be extended to separate compilation. We also describe some of our experiences whilst implementing this compiler, how successful the whole process has been, and the lessons we have learned. We have cost-eectively developed a compiler to high integrity by using mathematical specication and proof techniques.
Susan Stepney
Added 04 Aug 2010
Updated 04 Aug 2010
Type Conference
Year 1998
Where HASE
Authors Susan Stepney
Comments (0)
books