Complexity of the combinator reduction machine

研究成果: ジャーナルへの寄稿記事

1 引用 (Scopus)

抜粋

The complexity of the computation of recursive programs by the combinator reduction machine is studied. The number of the reduction steps in compared between the two models of computation. The main theorem states that the time required by the reduction machine is linear in that of the program scheme. The coefficient of the linearity was shown to be O(n2), where n is the maximal number of variables of the functions being used. For the analysis of the combinator codes, the notion of extended combinator code is introduced.

元の言語英語
ページ(範囲)289-303
ページ数15
ジャーナルTheoretical Computer Science
41
発行部数C
DOI
出版物ステータス出版済み - 1985
外部発表Yes

    フィンガープリント

All Science Journal Classification (ASJC) codes

  • Theoretical Computer Science
  • Computer Science(all)

これを引用