3706 search results - page 205 / 742 » The Transformational Approach to Program Development |
132
click to vote
ICFP
2008
ACM
16 years 3 months ago
2008
ACM
Datatype-generic programming involves parametrization by the shape of data, in the form of type constructors such as `list of'. Most approaches to datatype-generic programmin...
122
click to vote
PLDI
1996
ACM
15 years 7 months ago
1996
ACM
Two key steps in the compilation of strict functional languages are the conversion of higher-order functions to data structures (closures) and the transformation to tail-recursive...
141
click to vote
SIGCSE
2008
ACM
15 years 2 months ago
2008
ACM
Coercing new programmers to adopt disciplined development practices such as thorough unit testing is a challenging endeavor. Test-driven development (TDD) has been proposed as a s...
199
click to vote
DLS
2009
15 years 25 days ago
2009
Type inference and type reconstruction derive static types for program elements that have no static type associated with them. They have a wide range of usage, such as helping to ...
195
click to vote
CVPR
2011
IEEE
14 years 6 months ago
2011
IEEE
This paper deals with generalized procrustes analysis. This is the problem of registering a set of shape data by estimating a reference shape and a set of rigid transformations gi...