TY - GEN
T1 - A short cut to optimal sequences
AU - Morihata, Akimasa
PY - 2009
Y1 - 2009
N2 - We propose a method for easily developing efficient programs for finding optimal sequences, such as the maximum weighted sequence of a set of feasible ones. We formalize a way to derive efficient algorithms from naive enumerate-and-choose-style ones by shortcut fusion, which is a program transformation for eliminating intermediate data structures passed between functions. In addition, we propose a set of transformations for exploiting our shortcut fusion law. As an implementation of our method, we introduce a library for finding optimal sequences. The library consists of proposed transformations, together with functions useful for describing desirable sequences, so that naive enumerate-and-choose-style programs will be automatically improved.
AB - We propose a method for easily developing efficient programs for finding optimal sequences, such as the maximum weighted sequence of a set of feasible ones. We formalize a way to derive efficient algorithms from naive enumerate-and-choose-style ones by shortcut fusion, which is a program transformation for eliminating intermediate data structures passed between functions. In addition, we propose a set of transformations for exploiting our shortcut fusion law. As an implementation of our method, we introduce a library for finding optimal sequences. The library consists of proposed transformations, together with functions useful for describing desirable sequences, so that naive enumerate-and-choose-style programs will be automatically improved.
UR - http://www.scopus.com/inward/record.url?scp=72449174217&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=72449174217&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-10672-9_7
DO - 10.1007/978-3-642-10672-9_7
M3 - Conference contribution
AN - SCOPUS:72449174217
SN - 3642106714
SN - 9783642106712
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 63
EP - 78
BT - Programming Languages and Systems - 7th Asian Symposium, APLAS 2009, Proceedings
T2 - 7th Asian Symposium on Programming Languages and Systems, APLAS 2009
Y2 - 14 December 2009 through 16 December 2009
ER -