Skip to main content

2 Result(s)

within Kazuhiko Kakehi Remove this filter Logics and Meanings of Programs Remove this filter Programming Languages, Compilers, Interpreters 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)

  2. No Access

    Chapter and Conference Paper

    Relating Accumulative and Non-accumulative Functional Programs

    We study the problem to transform functional programs, which intensively use append functions (like inefficient list reversal), into programs, which use accumulating parameters instead (like eficient list reve...

    Armin Kühnemann, Robert Glück, Kazuhiko Kakehi in Rewriting Techniques and Applications (2001)