4716 search results - page 115 / 944 » Tangible functional programming |
ACG
2003
Springer
14 years 3 months ago
2003
Springer
Heuristic search effectiveness depends directly upon the quality of heuristic evaluations of states in the search space. We show why ordinal correlation is relevant to heuristic se...
SFP
2003
13 years 11 months ago
2003
Abstract: We outline an object-oriented extension to Camelot, a functional language in the ML family designed for resource aware computation. Camelot is compiled for the Java Virtu...
VMCAI
2009
Springer
14 years 5 months ago
2009
Springer
Abstract. We present a multi-pass interprocedural analysis and transformation for the functional aggregate update problem. Our solution handles untyped programs, including unrestri...
ACMMPC
2000
Springer
14 years 2 months ago
2000
Springer
Abstract. We argue for the benefits of relations over functions for modelling programs, and even more so for modelling specifications. To support this argument, we present an ext...
ICFP
2004
ACM
14 years 10 months ago
2004
ACM
Among slide-presentation systems, the dominant application offers lly no abstraction capability. Slideshow, an extension of PLT Scheme, represents our effort over the last several...