3 papers:
ASE-2001-WhittleBSRPPOLB #deduction #estimation #named #synthesis- Amphion/NAV: Deductive Synthesis of State Estimation Software (JW, JVB, JS, PR, TP, JP, PO, MRL, GPB), pp. 395–399.
- KBSE-1995-LowryB #domain-specific language #named #performance #synthesis
- META-AMPHION: Synthesis of Efficient Domain-Specific Program Synthesis Systems (MRL, JVB), pp. 2–10.
- KBSE-1994-LowryPPU #automation #library #named #programming
- AMPHION: Automatic Programming for Subroutine Libraries (MRL, AP, TP, IU), p. 2.
