Sciweavers

4757 search results - page 117 / 952
» Monads for Functional Programming
Sort
View
125
Voted
ICFP
2007
ACM
16 years 2 months ago
Bidirectionalization transformation based on automatic derivation of view complement functions
Bidirectional transformation is a pair of transformations: a view function and a backward transformation. A view function maps one data structure called source onto another called...
Kazutaka Matsuda, Zhenjiang Hu, Keisuke Nakano, Ma...
117
Voted
IWPC
2008
IEEE
15 years 9 months ago
Support for Understanding GUI Programs by Visualizing Execution Traces Synchronized with Screen Transitions
To support understanding a specific GUI functionality in a program, we propose a visualization technique that presents the correspondence between the screens before and after the...
Tatsuya Sato, Buntarou Shizuki, Jiro Tanaka
APLAS
2003
ACM
15 years 7 months ago
Rebuilding a Tree from Its Traversals: A Case Study of Program Inversion
Given the inorder and preorder traversal of a binary tree whose labels are all distinct, one can reconstruct the tree. This article examines two existing algorithms for rebuilding ...
Shin-Cheng Mu, Richard S. Bird
115
Voted
LOPSTR
2004
Springer
15 years 8 months ago
On Termination of Binary CLP Programs
Abstract. Termination of binary CLP programs has recently become an important question in the termination analysis community. The reason for this is due to that a number of approac...
Alexander Serebrenik, Frédéric Mesna...
GECCO
2006
Springer
156views Optimization» more  GECCO 2006»
15 years 6 months ago
Improving GP classifier generalization using a cluster separation metric
Genetic Programming offers freedom in the definition of the cost function that is unparalleled among supervised learning algorithms. However, this freedom goes largely unexploited...
Ashley George, Malcolm I. Heywood