1172 search results - page 165 / 235 » Constructions of generalized Sidon sets |
230
click to vote
POPL
2006
ACM
16 years 5 days ago
2006
ACM
Web applications typically interact with a back-end database to retrieve persistent data and then present the data to the user as dynamically generated output, such as HTML web pa...
103
click to vote
ICFP
2008
ACM
15 years 12 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...
ICFP
2008
ACM
15 years 12 months ago
2008
ACM
There are now a number of bidirectional programming languages, where every program can be read both as a forward transformation mapping one data structure to another and as a reve...
ICFP
2006
ACM
15 years 12 months ago
2006
ACM
Dynamic binding and delimited control are useful together in many settings, including Web applications, database cursors, and mobile code. We examine this pair of language feature...
125
click to vote
ICFP
2004
ACM
15 years 12 months ago
2004
ACM
Concurrency, as a useful feature of many modern programming languages and systems, is generally hard to reason about. Although existing work has explored the verification of concu...