scientific article; zbMATH DE number 2036330

MaRDI QIDQ4445767zbMATH OpenFDO

Authors Patricia Johann

Publication date 2 February 2004

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

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• A generalization of short-cut fusion and its correctness proof
• Short cut fusion is correct
• Monadic augment and generalised short cut fusion
• Shortcut fusion rules for the derivation of circular and higher-order programs
• scientific article; zbMATH DE number 5598380

Cited in

(16)

• Deforestation, program transformation, and cut-elimination
• Improvements for free
• Syntactic composition of top-down tree transducers is short cut fusion
• Point-free program transformation
• Short cut fusion is correct
• A generalization of short-cut fusion and its correctness proof
• Shortcut fusion rules for the derivation of circular and higher-order programs
• Algebraic fusion of functions with an accumulating parameter and its improvement
• Semantics and Pragmatics of New Shortcut Fusion Rules
• Algebraic fusion of functions with an accumulating parameter and its improvement
• Programming Languages and Systems
• Folding left and right matters: Direct style, accumulators, and continuations
• Lightweight fusion by fixed point promotion
• Typer inference builds a short cut to deforestation
• Concatenate, reverse and map vanish for free
• A short cut to optimal sequences

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 Q4445767)