Accession Number:

ADA288815

Title:

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

Descriptive Note:

Corporate Author:

AEROSPACE CORP EL SEGUNDO CA ENGINEERING AND TECHNOLOGY GROUP

Personal Author(s):

• Marcus, L. G.

Report Date:

1992-09-30

Pagination or Media Count:

29.0

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