High-integrity code generation for state-based formalisms

Proceedings - International Conference on Software Engineering

Volumn , Issue , 2000, Pages 725-727

  Whalen, Michael W ^a  

^a UNIVERSITY OF MINNESOTA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ADA (PROGRAMMING LANGUAGE); C (PROGRAMMING LANGUAGE); COMPUTATIONAL LINGUISTICS; COMPUTER HARDWARE DESCRIPTION LANGUAGES; PARALLEL PROCESSING SYSTEMS; PROGRAM COMPILERS; PROGRAM DIAGNOSTICS; PROGRAM TRANSLATORS;

CODE OPTIMIZATION; CORRECTNESS PRESERVING CODE GENERATION; FORMAL METHODS;

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 0033716152     PISSN: 02705257     EISSN: None     Source Type: None    
DOI: 10.1145/337180.337615     Document Type: Conference Paper

References (11)

1. B. Auernheimer and R. A. Kemmerer. RT-ASLAN: A specification language for real-time systems. IEEE Transactions on Soft-ware Engineering, 12(9), September 1986.
2. Gérard Berry and Georges Gonthier. The esterel synchronous programming language: Design, semantics, implementation. Science of Computer Programming, 19(2):87-152, 1992.
3. James M. Boyle, R. Daniel ResJer, and Victor L. Winter. Do you trust your compiler? applying formal methods to constructing high-assurance compilers. In High Assurance Systems Engineering Workshop, pages 1-11, 1997.
4. N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud. The synchronous dataflow programming language lustre. Proceedings of the IEEE, 79(9):1305-1320, September 1991.
5. N. Halbwachs, P. Raymond, and C. Ratei. Generating efficient code from data-flow programs. In Third International Symposium on Programming Language Implementation and Logic Programming, Passau (Germany), August 1991.
6. D. Harel, H. Lachover, A. Naamad, A. Pnueli, M. Politi, R. Sherman, A. Shtull-Trauring, and M. Trakhtenbrot. Statemate: A working environment for the development of complex reactive systems. IEEE Transactions on Software Engineering, 16(4);403-414, April 1990.
7. Susan Stepney. High Integrity Compilation. Prentice Hall, 1993.
8. Michael W. Whalen. Automatic code generation for safety-critical systems. In Proceedings of the 14th IEEE International Conference on Automated Software Engineering (ASE'99), 1999.
9. Michael W. Whalen. On the requirements of high-integrity code generation. In IEEE International Symposium on High Assurance Systems Engineering, 1999.
10. -e. Master's thesis, University of Minneasota, March 2000.
11. P. Zave. An insider's evaluation of PAISLey. IEEE Transactions on Software Engineering, 17(3), March 1991.