7924 search results - page 199 / 1585 » Non-Malleable Functions and Their Applications |
201
click to vote
TLCA
2005
Springer
16 years 19 days ago
2005
Springer
In a series of articles, we developed a method to translate general recursive functions written in a functional programming style into constructive type theory. Three problems rema...
205
click to vote
ICFP
2006
ACM
16 years 7 months ago
2006
ACM
We present a unifying solution to the problem of fusion of functions, where both the producer function and the consumer function have one accumulating parameter. The key idea in t...
297
click to vote
ICDE
1998
IEEE
16 years 8 months ago
1998
IEEE
Discovery of functionaldependencies from relations has been identified as an important database analysis technique. In this paper, we present a new approach for finding functional...
236
click to vote
LOPSTR
2005
Springer
16 years 20 days ago
2005
Springer
We propose an extension of functional logic languages that allows the definition of operations with patterns containing other defined operation symbols. Such “function patterns...
185
click to vote
CORR
2002
Springer
15 years 7 months ago
2002
Springer
This paper describes the LDL++ system and the research advances that have enabled its design and development. We begin by discussing the new nonmonotonic and nondeterministic cons...