Towards certifying domain-specific properties of synthesized code

Proceedings - ASE 2002: 17th IEEE International Conference on Automated Software Engineering

Volumn , Issue , 2002, Pages 289-294

  Rosu G ^a   Whittle, J ^a  

^a NASA AMES RESEARCH CENTER   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

SAFETY ENGINEERING; SOFTWARE ENGINEERING;

DOMAIN SPECIFIC; HIGH LEVEL SPECIFICATION; PROGRAM SYNTHESIS; SAFETY CRITICAL APPLICATIONS;

CODES (SYMBOLS);

EID: 84982924085     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASE.2002.1115032     Document Type: Conference Paper

References (9)

1. R. Akers, E. Kant, C. Randall, S. Steinberg, and R. Young. Scinapse: A problem-solving environment for partial differential equations. IEEE Comp. Sci. and Eng., 4:32-42, 1997.
2. R. G. Brown and P. Hwang. Introduction to Random Signals and Applied Kalman Filtering. John Wiley & Sons, 1997.
3. M. Clavel. The ITP tool. In A. N. et al., editor, Logic, Language and Information. Proceedings of the First Workshop on Logic and Language, pages 55-62. Kronos, 2001.
4. M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-Oliet, J. Meseguer, and J. Quesada. Maude: specification and programming in rewriting logic. http:/maude.csl.sri.com.
5. Compaq. Extended Static Checking for Java, 2000. URL: www.research.compaq.com/SRC/esc.
6. M. Lowry, T. Pressburger, and G. Roşu. Certifying domain-specific policies. In Automated Software Engineering (ASE'01), pages 81-90. IEEE, 2001.
7. G. C. Necula. Proof-carrying code. In Proceedings of the 24th Symposium on Principles of Programming Languages (POPL'97), pages 106-119. ACM Press, 1997.
8. Y. V. Srinivas and R. Jüllig. Specware: Formal support for composing software. In Mathematics of Program Construction (MPC'95), volume 947 of LNCS. Springer, 1995.
9. J. Whittle, J. van Baalen, J. Schumann, P. Robinson, T. Pressburger, J. Penix, P. Oh, M. Lowry, and G. Brat. Amphion/NAV: Deductive synthesis of state estimation software. In Automated Software Engineering (ASE'01), IEEE, 2001.