META-AMPHION: Synthesis of Efficient Domain-Specific Program Synthesis Systems

Authors:
Michael R. Lowry;Jeffrey Van Baalen
Affiliations:
NASA Ames, Recom Technologies, Code IC, M. S. 269-2, Moffett Field, CA 94035 USA E-mail: lowry@ptolemy.arc.nasa.gov;Computer Science Department, University of Wyoming, P.O. Box 3682, Laramie, WY 82071 USA E-mail: jvb@uwyo.edu
Venue:
Automated Software Engineering
Year:
1997

Citing 8
Cited 6

Logic for computer science: foundations of automatic theorem proving

Logic for computer science: foundations of automatic theorem proving
Automated deduction by theory resolution

Journal of Automated Reasoning
Algorithm theories and design tactics

Science of Computer Programming
Automated design of specialized representations

Artificial Intelligence
Fundamentals of Deductive Program Synthesis

IEEE Transactions on Software Engineering
Knowledge-Based Programming (Turing Institute Press Knowledge Engineering Tutorial Series)

Knowledge-Based Programming (Turing Institute Press Knowledge Engineering Tutorial Series)
Deductive Composition of Astronomical Software from Subroutine Libraries

CADE-12 Proceedings of the 12th International Conference on Automated Deduction
Reasoning Theories: Towards an Architecture for Open Mechanized Reasoning Systems

Reasoning Theories: Towards an Architecture for Open Mechanized Reasoning Systems

Component-Based Reconfigurable Systems

Computer
Will Domain-Specific Code Synthesis Become a Silver Bullet?

IEEE Intelligent Systems
Program Synthesis from Formal Requirements Specifications Using APTS

Higher-Order and Symbolic Computation
Using Decision Procedures to Accelerate Domain-Specific Deductive Synthesis Systems

LOPSTR '98 Proceedings of the 8th International Workshop on Logic Programming Synthesis and Transformation
Applications of Structural Synthesis of Programs

FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Automated Synthesis of Numerical Programs for Simulation of Rigid Mechanical Systems in Physics-Based Animation

Automated Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

Amphion is a real-world knowledge-based softwareengineering (KBSE) system whose program synthesissubsystem is based on deductive synthesis. Amphionis designed to automate use of software componentlibraries—the programs it generates are compositions ofsoftware components. Amphion has a domain-independentgeneric architecture that is specialized to an applicationdomain and component library through a declarative domaintheory. Up to now, program synthesis has been made efficient and automatic through manual tuning oftheorem-proving strategies and tactics, and carefulformulation of domain theories.The Meta-Amphion system is being developed toempower domain experts to develop, maintain, and evolvetheir own Amphion applications. Meta-Amphion is intended to be theknowledge-based analogue ofapplication-generator generator technology. This paperdescribes an essential part of Meta-Amphion—technologyfor automatically transforming declarativedomain theories into efficient domain-specific programsynthesis systems.