2335 search results - page 288 / 467 » Functional Differentiation of Computer Programs |
74
Voted
ICFP
2006
ACM
16 years 2 months ago
2006
ACM
This paper presents the core type system and type inference algorithm of OCamlDuce, a merger between OCaml and XDuce. The challenge was to combine two type checkers of very differ...
117
click to vote
ICFP
2004
ACM
16 years 2 months ago
2004
ACM
Abadi et al. introduced the dependency core calculus (DCC) as a unifying framework to study many important program analyses such as binding time, information flow, slicing, and fu...
115
Voted
IEEEPACT
2009
IEEE
15 years 9 months ago
2009
IEEE
Parallel programming is a requirement in the multi-core era. One of the most promising techniques to make parallel programming available for the general users is the use of parall...
113
click to vote
GECCO
2005
Springer
15 years 8 months ago
2005
Springer
Code bloat, the excessive increase of code size, is an important issue in Genetic Programming (GP). This paper proposes a theoretical analysis of code bloat in the framework of sy...
112
click to vote
ECOOP
1999
Springer
15 years 6 months ago
1999
Springer
Abstract. This paper introduces the concepts of wide classes and widening as extensions to the object model of class-based languages such as Java and Smalltalk. Widening allows an ...