Explaining synthesized software

Proceedings - 13th IEEE International Conference on Automated Software Engineering, ASE 1998

Volumn 1998-October, Issue , 1998, Pages 240-248

  Van Baalen, J ^a   Robinson, P ^a,b   Lowry, M ^a   Pressburger, T ^a,b  

^a NASA AMES RESEARCH CENTER   (United States)

^b Recom Technologies   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CODES (SYMBOLS); NASA; SPECIFICATIONS;

CODE SYNTHESIS; DEDUCTIVE SYNTHESIS; DOMAIN THEORY; HIGH ASSURANCE; PROBLEM SPECIFICATION; PROGRAM GENERATION; PROOF TRACES; THEOREM PROVERS;

SOFTWARE ENGINEERING;

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

References (8)

1. Y. Bertot "Occurrences in Debugger Specifications", Proceedings of the ACM Conference on Programming Language Design and Implementation, pp. 327-337, 1991.
2. Felty, A., and Miller, D. "Proof Explanation and Revision ", University of Pennsylvania Technical Report MSCIS-88-17, 1987.
3. Hoare, C.A.R., "Proof of Correctness of Data Representations, " Acta Informatica, pp. 271-281, 1973.
4. Manna, Z. and Waldinger, R., "Fundamentals of Deductive Program Synthesis, " IEEE Transactions on Software Engineering, ( 18) 8, pp. 674-704, 1992.
5. M. Lowry, A. Philpot, T. Pressburger, and I. Underwood, "A Formal Approach to Domain-Oriented Software Design Environments, " Proceedings of the Ninth Knowledge-Based Software Engineering Conference, 1994.
6. M. Lowry and J. Van Baalen, "META-Amphion: Synthesis of Efficient Domain-Specific Program Synthesis Systems ", Automated Software Engineering, vol 4, pp. 199-241, 1997.
7. M. Stickel, R. Waldinger, M. Lowry, T. Pressburger, and I. Underwood, "Deductive Composition of Astronomical Software from Subroutine Libraries, " CADE-12, 1994.
8. van Deursen, A., Klint, P. and Tip, F., "Origin Tracking, " Journal of Symbolic Computation 15:523-545, 1993.