Semantics of the Computer Programming Systems for A-type data processing technology
by
Lev K. Sukhanov
Saint-Petersburg State Aerospace Instrumentation University

The peculiarity of the programming systems design for A-type data processing technology is the uncertainty of the input data which is resolved by on-line examination of current data state and/or by analyzing the tendencies of its progress. Uncertainty stipulates the necessity of development of the specialized linguistic means including development of language for computing processes description in conditions of incomplete information, creation of means for computer coding automation, development of forms for the numerical data representation, choice, and if necessary, development of emulation algorithms for commands for integer and real arithmetic.

For the description of computing processes of this type at least the invariant subset of high level languages is necessary to form.

For the research purpose the working model of the linguistic adaptive processor was developed which simulated all phases of data processing automation.

The linguistic processor in A-type technology substantially differs from the analogues developed in the theory of formal languages for programming automation. The difference consists in use of semantic tables containing information characteristics of the initial, intermediate and resulting data, as well as characteristics of the calculating process and the demanded computer resources.

The developed linguistic elements provided functioning of information system and demonstrated its efficiency at least in one or two orders.

Date received: January 14, 2000

Copyright © 2000 by the author(s). The author(s) of this document and the organizers of the conference have granted their consent to include this abstract in Atlas Conferences Inc. Document # cadd-29.