2335 search results - page 249 / 467 » Functional Differentiation of Computer Programs |
169
click to vote
TLCA
2007
Springer
16 years 15 days ago
2007
Springer
Initial algebra semantics is a cornerstone of the theory of modern functional programming languages. For each inductive data type, it provides a fold combinator encapsulating struc...
154
click to vote
PPDP
2001
Springer
15 years 10 months ago
2001
Springer
We define a transformation from a left-linear constructor-based conditional rewrite system into an overlapping inductively sequential rewrite system. This transformation is sound...
168
click to vote
IPPS
1998
IEEE
15 years 10 months ago
1998
IEEE
A major difficulty of heterogeneous process migration is how to collect advanced dynamic data-structures, transform them into machine independent form, and restor them appropriate...
182
click to vote
ICFP
2007
ACM
16 years 6 months ago
2007
ACM
Designing debugging tools for lazy functional programming languages is a complex task which is often solved by expensive tracing of lazy computations. We present a new approach in...
168
click to vote
IPPS
2007
IEEE
16 years 21 days ago
2007
IEEE
A compositional method for estimating software reliability of many threaded programs is developed. The method uses estimates of the reliability of individual modules and the proba...