An approach to specifying kernel Ada programming support environment interface components. The objectives are to provide a mechanism which allows the building of an understandable and complete enough specification for validation that is relatively easy to construct. In meeting these objectives, an Abstract Machine approach has been modified and applied to a functional description of kernel operations. After explaining the approach and motivation for choosing it is discussed. Interactions among kernel operations and pragmatic implementation limits - which are other needed parts of a specification - are also discussed.
|Original language||English (US)|
|Pages (from-to)||25-31, 52|
|Journal||Journal of Pascal, Ada & Modula-2|
|State||Published - Jan 1 1984|
ASJC Scopus subject areas