1173 search results - page 37 / 235 » Program Derivation Using Analogy |
133
click to vote
ICFP
1998
ACM
15 years 6 months ago
1998
ACM
We present a purely functional implementation of the computational differentiation tools — the well known numeric (i.e., not symbolic) techniques which permit one to compute poin...
107
click to vote
IWPC
1996
IEEE
15 years 6 months ago
1996
IEEE
Evaluating the design of a distributed application is di cult but provides useful information for program development and maintenance. In distributed debugging, for example, proce...
105
click to vote
PAMI
2006
15 years 2 months ago
2006
A binary linear programming formulation of the graph edit distance for unweighted, undirected graphs with vertex attributes is derived and applied to a graph recognition problem. ...
111
Voted
PEPM
1995
ACM
15 years 5 months ago
1995
ACM
A systematic approach is given for symbolically caching intermediate results useful for deriving incremental programs from non-incremental programs. Our method can be applied stra...
122
click to vote
ICFP
2008
ACM
16 years 2 months ago
2008
ACM
Command-oriented functional programs are currently structured in an ad hoc way that makes the development of multiple userinterfaces difficult and error prone, and makes it diffic...