Incremental development of a high integrity compiler: Experience from an industrial development

Proceedings - 3rd IEEE International High-Assurance Systems Engineering Symposium, HASE 1998

Volumn 1998-November, Issue , 1998, Pages 142-149

  Stepney, S ^a  

^a Logica United Kingdom   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

NUCLEAR WEAPONS; PASCAL (PROGRAMMING LANGUAGE); SYSTEMS ENGINEERING;

ATOMIC WEAPONS; INCREMENTAL DEVELOPMENT; INDUSTRIAL DEVELOPMENT; MATHEMATICAL SPECIFICATIONS; SEPARATE COMPILATION; TARGET LANGUAGE; WHOLE PROCESS;

PROGRAM COMPILERS;

EID: 85040793529     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/HASE.1998.731606     Document Type: Conference Paper

References (6)

1. R. Barden, S. Stepney, and D. Cooper. Z in Practice. BCS Practitioners Series. Prentice Hall, 1994.
2. D. E. Knuth. Seminumerical Algorithms, volume 2 of The Art of Computer Programming. Addison-Wesley, 2nd edition, 1981.
3. J. M. Spivey. The Z Notation: A Reference Manual. Prentice Hall, 2nd edition, 1992.
4. S. Stepney. High Integrity Compilation: A Case Study. Prentice Hall, 1993.
5. S. Stepney, D. Whitley, D. Cooper, and C. Grant. A demonstrably correct compiler. BCS Formal Aspects of Computing, 3:58-101, 1991.
6. D. W. Stringer-Calvert, S. Stepney, and I. Wand. Us-ing PVS to prove a Z renement: A case study. In J. Fitzgerald, C. B. Jones, and P. Lucas, editors, FME '97: Formal Methods: Their Industrial Application and Strengthened Foundations, number 1313 in Lecture Notes in Computer Science, pages 573-588. Springer Verlag, Sept. 1997.