AMPHION: Automatic Programming for Scientific Subroutine Libraries

  title={AMPHION: Automatic Programming for Scientific Subroutine Libraries},
  author={Michael R. Lowry and Andrew Philpot and Thomas Pressburger and Ian Underwood},
This paper describes A MPHION1, 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. A MPHION 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… CONTINUE READING
Highly Cited
This paper has 62 citations. REVIEW CITATIONS
40 Citations
7 References
Similar Papers


Publications citing this paper.

63 Citations

Citations per Year
Semantic Scholar estimates that this publication has 63 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-7 of 7 references

D . R . Smith : KIDS : A Semiautomatic Program Development System

  • A. Philpot Lowry, T. Pressburger
  • IEEE Transactions on Software Engineering
  • 1990


  • E. H. Tyugu, Knowledge-Based
  • 1988
1 Excerpt

Rich: Report on a Knowledge-Based Software Assistant

  • C. Green, D. Luckham, R. Balzer, T. Cheathan
  • Artificial Intelligence and Software Engineering
  • 1986
1 Excerpt

Denotation Semantics: the Scott-Strachey approach to programming language semantics

  • J. Stoy
  • Retract defined on page 133
  • 1977
1 Excerpt

Proofs and Refutations

  • E. Lakatos
  • 1976
1 Excerpt

Similar Papers

Loading similar papers…