1989 search results - page 239 / 398 » Set functions for functional logic programming |
137
Voted
ICFP
2008
ACM
16 years 3 months ago
2008
ACM
Self-adjusting programs respond automatically and efficiently to input changes by tracking the dynamic data dependences of the computation and incrementally updating the output as...
143
click to vote
ICALP
2007
Springer
15 years 5 months ago
2007
Springer
Adaptive security, while more realistic as an adversarial model, is typically much harder to achieve compared to static security in cryptographic protocol design. Universal composi...
162
click to vote
STOC
2012
ACM
13 years 5 months ago
2012
ACM
We propose a new notion of secure multiparty computation aided by a computationally-powerful but untrusted “cloud” server. In this notion that we call on-the-fly multiparty c...
127
click to vote
SCAM
2006
IEEE
15 years 9 months ago
2006
IEEE
In this paper, we introduce 13 program slicing metrics for C language programs. These metrics use program slice information to measure the size, complexity, coupling, and cohesion...
150
Voted
PASTE
1999
ACM
15 years 7 months ago
1999
ACM
The principal control-flow abstraction mechanism in the Cobol language is the PERFORM statement. Normally, PERFORM statements are used in a straightforward manner to define para...