ISSN:
1573-7535
Keywords:
deductive synthesis
;
decision procedures to accelerate reasoning
;
automatic decision procedure selection
Source:
Springer Online Journal Archives 1860-2000
Topics:
Computer Science
Notes:
Abstract Amphion is a real-world knowledge-based software engineering (KBSE) system whose program synthesis subsystem is based on deductive synthesis. Amphion is designed to automate use of software component libraries—the programs it generates are compositions of software components. Amphion has a domain-independent generic architecture that is specialized to an application domain and component library through a declarative domain theory. Up to now, program synthesis has been made efficient and automatic through manual tuning of theorem-proving strategies and tactics, and careful formulation of domain theories. 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 an essential part of Meta-Amphion—technology for automatically transforming declarative domain theories into efficient domain-specific program synthesis systems.
Type of Medium:
Electronic Resource
URL:
http://dx.doi.org/10.1023/A:1008637201658
Permalink