The kapse for the Ada language system

Abstract

This paper presents details of the Kernel Ada Programming Support Environment (KAPSE) used in the Army's Ada Language System (ALS). The services provided by the ALS KAPSE are described in terms of the Ada packages that supply these services. The rationale for some major design decisions is discussed.