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