Abstract: Amphion: Automatic Programming for Scientific Subroutine Libraries

Michael Lowry, Andrew Philpot, Thomas Pressburger, and Ian Underwood

This paper describes Amphion, a knowledge-based software engineering (KBSE) system that guides a user in developing a formal specification of a problem and then implements this specification as a program consisting of calls to subroutines from a library. Amphion is domain independent and is specialized to an application domain through a declarative domain theory. A user is guided in creating a diagram that represents the formal specification through menus based upon the domain theory and the current state of the specification. The diagram also serves to document the specification. Program synthesis is based upon constructive theorem proving, and is efficient and totally automatic.

[paper (158K)]
Return to Amphion publications

Comments and corrections to: ttp@ptolemy.arc.nasa.gov (Tom Pressburger)
Principal Investigator, Amphion project: lowry@ptolemy.arc.nasa.gov (Mike Lowry)
Last updated: 13 September 95