Reconstruction of linear index expressions for reducing programs to a linear class

MaRDI QIDQ1569374zbMATH OpenFDO

Authors D. V. Khmelev

Publication date 3 July 2000

Published in Computational Mathematics and Mathematical Physics (Search for Journal in Brave)

zbMATH Keywords

adaptationparallel computingprogramssoftware

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Theory of compilers and interpreters (68N20)

Review text

In the paper a class of nonlinear programs is considered whose nonlinearity is due to the optimization of the program code for a sequential computer or the fundamental constraints of the procedural language applied. The conditions for the program text are obtained by which a program from a class considered is transformed to a program of a linear class. Ref. 12 in number. Remarks: The auxiliary results for adaptation the arbitrary programs to architecture of computer system.

Recommendations

• On the expressivity of linear recursion schemes
• Program equivalence in linear contexts
• scientific article; zbMATH DE number 890353
• scientific article; zbMATH DE number 4092759
• scientific article; zbMATH DE number 139798
• Linear -reduction
• Processes, Terms and Cycles: Steps on the Road to Infinity
• Logic Based Program Synthesis and Transformation

Cited in

(1)

• Information structure of sequential programs

This page was built for publication: Reconstruction of linear index expressions for reducing programs to a linear class

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1569374)