AMPHION: automatic programming for subroutine libraries

17 December 2002

conference paper
Published by Institute of Electrical and Electronics Engineers (IEEE)

p. 2
https://doi.org/10.1109/kbse.1994.342685

Abstract

AMPHION is a generic architecture that is specialized to a particular domain and subroutine library through a domain theory and domain-specific theorem-proving tactics. This paper discusses AMPHION-NAIF, the application of AMPHION to the domain of solar system kinematics as implemented in the SPICELIB subroutine library. The Navigation Ancillary Information Facility (NAIF) at NASA's Jet Propulsion Laboratory (JPL) is charged with developing software to support the planetary science community in planning and analyzing the observation geometries of solar system bodies in interplanetary scientific missions. The objective of SPICELIB is to enable end-users in the planetary science community to construct their own application programs.

Keywords

AUTOMATIC PROGRAMMING
ALGORITHMS
SOFTWARE LIBRARIES
APPLICATION SOFTWARE
SOLAR SYSTEM
KINEMATICS
AIRCRAFT NAVIGATION
PROPULSION
LABORATORIES
INFORMATION ANALYSIS

This publication has 0 references indexed in Scilit: