Recurrences in Solving Triangular Systems of Linear Equations: Representation in the Structural Blanks Method

作     者：Čyras, Vytautas 

作者机构：Department of Computer Science Vilnius University 2600 Vilnius Naugarduko 24 Lithuania Inst. of Mathematics and Informatics 2600 Vilnius Akademijos 4 Lithuania 

出 版 物：《Informatica》 (Informatica)

年 卷 期：1999年第10卷第1期

页      面：45-70页

学科分类：0810[工学-信息与通信工程] 1205[管理学-图书情报与档案管理] 08[工学] 0811[工学-控制科学与工程] 0701[理学-数学] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

主　　题：A loop program Data dependency S-module's consistency proof Triangular system of linear equations 

摘      要：In the paper we examine data dependencies in the algorithm of back substitution in the problem of solving triangular systems of linear equations. The aim of the paper is to illustrate the structural blanks (SB) notation in consistency proof of data dependencies in loop programs. Data dependency semantics of programs is introduced and investigated. The introduced notation constitutes the theoretical basis of data dependencies in SB. Two structural modules - a sequential S-module and a parallel one - are examined.