swMATH ID: 9953
Software Authors: Lowry, M.R., Philpot, A., Pressburger, T., Underwood, I
Description: Amphion: Automatic programming for scientific subroutine libraries. This paper describes Amphion, 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.
Homepage: http://link.springer.com/chapter/10.1007/3-540-58495-1_33
Related Software: CLAM; Oyster; HOL; SPARK; SETHEO; VCC; ESC/Java; SIMPLIFY; z3; Spec#; Isabelle; Concurrency Workbench; SicoTHEO; PARTHEO; MONA; OTTER; ACL2; PARIS; mural; PROTEIN
Referenced in: 3 Publications

Referenced in 0 Serials

Referenced in 1 Field

3 Computer science (68-XX)

Referencing Publications by Year