Accession Number : ADA288815

Title :   The Semantics of Ada Access Types (Pointers) in the State Delta Verification System (SVDS).

Corporate Author : AEROSPACE CORP EL SEGUNDO CA ENGINEERING AND TECHNOLOGY GROUP

Personal Author(s) : Marcus, L. G.

PDF Url : ADA288815

Report Date : 30 SEP 1992

Pagination or Media Count : 29

Abstract : We propose a method for handling Ada access types (pointers) in SDVS, i.e., a method that allows SDVS to translate and reason about Ada programs containing access types. The method is built upon "higher-order places", i.e., "places" that have other places as contents. We give the state delta semantics for various Ada constructs involving access types, discuss the theory and implementation of higher-order places, and give a partially worked example of an Ada program involving access types.

Descriptors :   *SEMANTICS, *ACCESS, *ADA PROGRAMMING LANGUAGE, HANDLING, COMPUTER PROGRAM VERIFICATION, LANGUAGE TRANSLATION.

Subject Categories : Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE