9521 search results - page 4 / 1905 » Compiling with continuations, continued |
100
click to vote
ICLP
2005
Springer
15 years 7 months ago
2005
Springer
Constraint Handling Rules (CHR) is a high-level rule-based language extension, commonly embedded in Prolog. We introduce a new occurrence representation of CHR programs, and a new ...
117
click to vote
RIA
2007
15 years 1 months ago
2007
Continuations are a well established programming concept that allows capturing and resuming the current program state. They can be found in several functional programming languages...
122
click to vote
PLDI
2006
ACM
15 years 7 months ago
2006
ACM
On-line transducers are an important class of computational agent; we construct and compose together many software systems using them, such as stream processors, layered network p...
124
click to vote
ICSR
2004
Springer
15 years 7 months ago
2004
Springer
Quality assurance (QA) tasks, such as testing, profiling, and performance evaluation, have historically been done in-house on developer-generated workloads and regression suites. ...
143
click to vote
CRYPTO
2010
Springer
15 years 2 months ago
2010
Springer
Side-channel attacks have often proven to have a devastating effect on the security of cryptographic schemes. In this paper, we address the problem of storing cryptographic keys a...