Skip to main content

1 Result(s)

within Computation by Abstract Devices Remove this filter Logics and Meanings of Programs Remove this filter Kazuhiko Kakehi Remove this filter

and

  1. No Access

    Chapter and Conference Paper

    Swap** Arguments and Results of Recursive Functions

    Many useful calculation rules, such as fusion and tupling, rely on well-structured functions, especially in terms of inputs and outputs. For instance, fusion requires that well-produced outputs should be conne...

    Akimasa Morihata, Kazuhiko Kakehi, Zhenjiang Hu… in Mathematics of Program Construction (2006)