9521 search results - page 4 / 1905 » Compiling with continuations, continued |
ICLP
2005
Springer
14 years 4 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 ...
RIA
2007
13 years 10 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...
PLDI
2006
ACM
14 years 4 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...
ICSR
2004
Springer
14 years 4 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. ...
CRYPTO
2010
Springer
13 years 12 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...