Towards a modular program derivation via fusion and tupling

DOI10.1007/3-540-45821-2_9MaRDI QIDQ4440326zbMATH OpenFDO

Authors Wei-Ngan Chin, Zhenjiang Hu

Publication date 16 December 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2487/24870140.htm

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Computing methodologies and applications (68U99)

Recommendations

• scientific article; zbMATH DE number 3995027
• scientific article; zbMATH DE number 3890701
• Tupling calculation eliminates multiple data traversals
• Shortcut fusion rules for the derivation of circular and higher-order programs
• A transformation method for dynamic-sized tabulation

Cited in

(6)

• A short cut to optimal sequences
• scientific article; zbMATH DE number 3890701 (Why is no real title available?)
• scientific article; zbMATH DE number 3938532 (Why is no real title available?)
• scientific article; zbMATH DE number 3995027 (Why is no real title available?)
• Tupling calculation eliminates multiple data traversals
• Programming Languages and Systems

This page was built for publication: Towards a modular program derivation via fusion and tupling

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