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