Description of input and output data of programs fragments (Q1284341)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 1276094
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Description of input and output data of programs fragments |
scientific article; zbMATH DE number 1276094 |
Statements
Description of input and output data of programs fragments (English)
0 references
14 April 1999
0 references
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.
0 references
algorithm graph
0 references
static analysis
0 references
0.7175909280776978
0 references
0.7113638520240784
0 references
