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

softwareadaptationparallel computingprograms

Mathematics Subject Classification ID

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

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 \(\beta\)-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)