Abstract: Meta-Amphion: Synthesis of Efficient Domain-Specific Program Synthesis Systems

Michael R. Lowry and Jeffrey Van Baalen

Amphion is a real-world knowledge-based software engineering (KBSE) system whose program synthesis subsystem is based on deductive synthesis. Amphion has a domain-independent generic architecture that is specialized to a domain through a declarative theory. Program synthesis has been made efficientand automatic throught manual tuning of theorem-proving strategies and tacticts, and careful formulation of the domain theory.

The Meta-Amphion system is being developed to empower domain experts to develop, maintain, and evolve their own Amphion applications. Meta-Amphion is intended to be the knowledge-based analogue of application-generator generator technology. This paper describes technology for automatically transforming declarative domain theories into efficient domain-specific program synthesis systems.

[paper (181K)]
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: 20 November 95