LOGIC DERIVATION OF PARALLEL LINEAR EQUATION SYSTEM SOLVERS WITHIN ELIMINATION STRATEGY

References

• R. J. R. Back and K. Sere , Stepwise refinement fo parallel algorithms , Science of Computer Programming 13 ( 1989/1990 ), 133 – 180 .
   Google Scholar
• Y. Boglaev , Logic programming in the numerica! algorithm design for parallel compulations , Neural, Parallel and Scientific Comp. 1 ( 1993 ), 163 – 179 .
   Google Scholar
• R. Burstall and J. Darlington , A transformational system for developing recursive programs , J. of the ACM 24 , 1 ( 1977 ), 44 – 67 .
   Google Scholar
• K. M. Chandy and J. Misra , Parallel Program Design A Foundation , Prentice-Hall , Englewood Cliffs , NJ , 1988.
   Google Scholar
• K. L. Clark , W. M. McKeeman and S. Sickel , Logic program specification of numerical integration. In Logic Programming, K. L. Clark and S. Tarnlund , eds., Academic , 1982 , 123 – 129 .
   Google Scholar
• K. L. Clark and J. Darlington , Algorithm classification through synthesis , Computer J. 23 , 1 ( 1980 ), 61 – 65 .
   Google Scholar
• W. F. Clocksin , A technique for translaling clausal specifications of numerical methods into efficient programs , Journal of Logic Programming 5 ( 1988 ), 231 – 242 .
   Google Scholar
• W. F. Clocksin and C. S. Mcllish , Programming in Prolog , Springer-Verlag , New York , 1984 .
   Google Scholar
• D. Evans and M. Hatsopoulos , A parallel linear system solvers , Intern. J. Computer Math. 7 ( 1977 ), 227 – 238 .
   Google Scholar
• D. J. Evans , Block partitioned matrix algorithms for VLSI systolic arrays. In Parallel and Distributed Algorithms , et al. , eds., Elscvier , North-Holland , Amsterdam , 1989 , 55 – 65 .
   Google Scholar
• D. Gris The Science of Programming , Springer-Vcrlag , New York , 1981 .
   Google Scholar
• G. J. Hogger , Derivation of logic programs , J. of the ACM 28 , 2 ( 1981 ), 372 – 392 .
   Google Scholar
• G. J. Hogger , Introduction to Logic Programming , Academic Press , 1984 .
   Google Scholar
• E. Kohen , Programming in tlie 1990s An Introduction to the Calculus of Programs , Springer-Vcrlag New York , 1990 .
   Google Scholar
• R. Kowalski , Logic for Problem Solving , Eiscvier , North Holland , Amsterdam , 1979 .
   Google Scholar
• R. Kowalski , The relation between logic programming and logic specification , Phil. Trans. R. Soc Lond. A 312 ( 1984 ), 345 – 361 .
   Google Scholar
• D. Mcry , The NU system as a development system for concurrent programs δMU, Theoretical Computer Science 94 ( 1992 ), 311 – 334 .
   Google Scholar
• M. Pease , The C(2,m) Algorithm for Matrix Inversion , Stanford Research Institute , Menlo Park , CA , 1974 .
   Google Scholar
• G.-R. Perrin and J.-P. Finance , Communication relations A paradigm for parallel program design , Science of Computer Programming 19 ( 1992 ), 15 – 59 .
   Google Scholar
• D. Sharp , M. Grips and J. Darlington , Parallel-architecture-directed program transformation , Parallel Computing 18 ( 1992 ), 1362 – 1380 .
   Google Scholar
• H. Tamaki and T. Sato , Unfold/fold transformation of logic programs , Proc. of the 2nd Int. Logic Programming Conference , Uppsala , 1984 .
   Google Scholar
• E. Violard and G.-R. Perrin , PEI: A language and its refinement calculus for parallel programming , Parallel Computing 18 ( 1992 ), 1167 – 1184 .
   Google Scholar