6740 search results - page 407 / 1348 » Using Classification as a Programming Language |
151
Voted
ICFP
2006
ACM
16 years 3 months ago
2006
ACM
The Dependency Core Calculus (DCC) is an extension of the computational lambda calculus that was designed in order to capture the notion of dependency that arises in information-f...
118
click to vote
ICFP
2002
ACM
16 years 3 months ago
2002
ACM
We present an alternative approach to shortcut fusion based on the function unfoldr. Despite its simplicity the technique can remove intermediate lists in examples which are known...
130
click to vote
ECOOP
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. The term “software evolution” is generally used as an analogy for biological evolution. This paper explores that analogy in more depth, analyzing software evolution f...
142
Voted
ECOOP
2004
Springer
15 years 9 months ago
2004
Springer
In this paper we present a Model for Dynamic Hyperslices which uses a particular Aspect-Oriented (AO) approach – Hyperspaces – for decomposition and reflection as a means for ...
120
Voted
FLOPS
2004
Springer
15 years 9 months ago
2004
Springer
Restricting polymorphism to values is now the standard way to obtain soundness in ML-like programming languages with imperative features. While this solution has undeniable advant...