scientific article; zbMATH DE number 3890701

MaRDI QIDQ3347260zbMATH OpenFDO

Authors Akihiko Koga

Publication date 1985

zbMATH Keywords

automatic program transformationprogramming languagerecursive programtupling technique

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Tupling calculation eliminates multiple data traversals
• A transformation method for dynamic-sized tabulation
• scientific article; zbMATH DE number 5033861
• scientific article; zbMATH DE number 2018586
• Proving the correctness of recursion-based automatic program transformations

Cited in

(8)

• Description and improvement of iterative program transformations
• A transformation method for dynamic-sized tabulation
• Analyzing Array Manipulating Programs by Program Transformation
• The promotion and accumulation strategies in transformational programming
• scientific article; zbMATH DE number 2018586 (Why is no real title available?)
• scientific article; zbMATH DE number 2102053 (Why is no real title available?)
• From sequential programs to multi-tier applications by program transformation
• Tupling calculation eliminates multiple data traversals

This page was built for publication:

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