Description of input and output data of programs fragments (Q1284341)

Many problems arising during developing and debugging of programs demand an exact description of data-in and data-out sets. The author considers the application of the technique of the construction of an algorithm graph for solving the problem of finding data-in and data-out sets of the fragment of the programme and shows the possible fields of its application. An important aspect is that only methods of static analysis for solving the problem are used. These methods are based on the investigation of the original text of the programme without using any information from the stage of its implementation.