AMPHION: Automatic programming for scientific subroutine libraries (1994)
| Venue: | Intl. Symp. on Methodologies for Intelligent Systems |
| Citations: | 23 - 3 self |
BibTeX
@INPROCEEDINGS{Lowry94amphion:automatic,
author = {Michael Lowry and Andrew Philpot and Thomas Pressburger and Ian Underwood},
title = {AMPHION: Automatic programming for scientific subroutine libraries},
booktitle = {Intl. Symp. on Methodologies for Intelligent Systems},
year = {1994},
pages = {326--335}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Abstract. This paper describes AMPHION 1, 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. 1
Citations
| 433 | Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory - Stoy - 1977 |
| 377 | Proof of correctness of Data representations - Hoare - 1972 |
| 224 | Kids: A semiautomatic program development system - Smith - 1990 |
| 104 | Domain-Oriented Design Environments - Fischer - 1994 |
| 62 | Fundamentals of deductive program synthesis - Manna, Waldinger - 1994 |
| 22 | Report on a Knowledge-Based Software Assistant - Green, Luckham, et al. - 1986 |
| 10 | Automating software design - Lowry, McCartney - 1991 |
| 2 | A Formal Approach to Domain-Oriented Softwre Design Environments - Lowry, Philpot, et al. |
| 2 | Knowledge-Based Programming, Turing - Tyugu - 1988 |
