A transformational approach which combines size inference and program optimization

DOI10.1007/3-540-44806-3_12MaRDI QIDQ4445775zbMATH OpenFDO

Authors Christoph A. Herrmann, Christian Lengauer

Publication date 2 February 2004

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/2196/21960199.htm

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• Collected size semantics for strict functional programs over general polymorphic lists
• A cost calculus for parallel functional programming
• Concatenate, reverse and map vanish for free
• scientific article; zbMATH DE number 4106261
• Calculating sized types

Cited in

(2)

• Collected size semantics for strict functional programs over general polymorphic lists
• Inferring static non-monotone size-aware types through testing

This page was built for publication: A transformational approach which combines size inference and program optimization

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