655 search results - page 26 / 131 » On Flat Programs with Lists |
149
click to vote
ICFP
2008
ACM
16 years 4 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...
131
click to vote
EACL
2009
ACL Anthology
16 years 4 months ago
2009
ACL Anthology
We introduce cube summing, a technique that permits dynamic programming algorithms for summing over structures (like the forward and inside algorithms) to be extended with non-loc...
131
click to vote
VL
2005
IEEE
15 years 10 months ago
2005
IEEE
Large software projects often require a programmer to make changes to unfamiliar source code. This paper describes a set of tools, called Team Tracks, designed to ease program com...
164
click to vote
AMAST
2008
Springer
15 years 6 months ago
2008
Springer
Several proof systems allow the formal verification of Java programs, and a specification language was specifically designed for Java. However, none of these systems support generi...
135
click to vote
WSC
2004
15 years 5 months ago
2004
Recently, simulation-based methods have been successfully used for solving challenging stochastic optimization problems and equilibrium models. Here we report some of the recent p...