scientific article; zbMATH DE number 2036330

zbMATH Open1030.68543MaRDI QIDQ4445767FDOQ4445767

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

Title of this publication is not available (Why is that?)

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

Mathematics Subject Classification ID

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

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
• Semantics and Pragmatics of New Shortcut Fusion Rules
• Algebraic fusion of functions with an accumulating parameter and its improvement
• 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)