S
Susumu Katayama
Researcher at University of Miyazaki
Publications - 20
Citations - 222
Susumu Katayama is an academic researcher from University of Miyazaki. The author has contributed to research in topics: Inductive programming & Inductive functional programming. The author has an hindex of 7, co-authored 20 publications receiving 208 citations.
Papers
More filters
Proceedings Article
Systematic search for lambda expressions.
TL;DR: This paper presents a system for searching for desired small functional programs by just generating a sequence of type-correct programs in a systematic and exhaustive manner and evaluating them.
Book ChapterDOI
Efficient Exhaustive Generation of Functional Programs Using Monte-Carlo Search with Iterative Deepening
TL;DR: An algorithm applying random testing of program equivalences (or Monte-Carlo search for functional differences) to the search results of iterative deepening is proposed, by which it can totally remove redundancies caused by semantically equivalent programs.
Proceedings ArticleDOI
An analytical inductive functional programming system that avoids unintended programs
TL;DR: A new approach based on analytical generation and testing of many program candidates is proposed, called "analytically-generate-and-test approach", which preserves the efficiency features of analytical approaches, while minimizing the possibility of generating unintended programs even when using fewer input-output examples.
Book ChapterDOI
Recent Improvements of MagicHaskeller
TL;DR: Two recent improvements to MagicHaskeller are introduced, i.e. clarification and extension to arbitrary-rank polymorphism of its algorithm, and efficiency improvement in its filtration algorithm that removes redundancy in the search results.
Library for systematic search for expressions
TL;DR: This paper presents a library-based implementation of the systematic search algorithm which is supposed to be used with a well-known Haskell interpreter.