A short cut to optimal sequences

Akimasa Morihata

Research output: Contribution to journalArticlepeer-review

3 Citations (Scopus)


We propose a method of developing efficient programs for finding the optimal sequence, such as the maximum valued one among those that are acceptable. We introduce a method of deriving efficient algorithms from naive enumerate-and-choose-style ones. Our method is based on shortcut fusion, which is a program transformation for eliminating intermediate data structures passed between functions, and a set of auxiliary transformations. As an implementation of our method, we introduce a library for finding optimal sequences. The library consists of proposed transformations, together with functions useful to describe desirable sequences, so that naive enumerate-and-choose-style programs will be automatically improved.

Original languageEnglish
Pages (from-to)31-59
Number of pages29
JournalNew Generation Computing
Issue number1
Publication statusPublished - 2011 Jan
Externally publishedYes


  • Dynamic Programming
  • Functional Programming
  • Program Transformation
  • Shortcut Fusion

ASJC Scopus subject areas

  • Software
  • Theoretical Computer Science
  • Hardware and Architecture
  • Computer Networks and Communications


Dive into the research topics of 'A short cut to optimal sequences'. Together they form a unique fingerprint.

Cite this