PPDP
2010
Springer
13 years 10 months ago
2010
Springer
PPDP
2010
Springer
13 years 10 months ago
2010
Springer
This paper connects the definitional interpreter for the λ-calculus extended with delimited continuation constructs, shift and reset, with a compiler and a low-level virtual mac...
PPDP
2010
Springer
13 years 10 months ago
2010
Springer
This article presents HSS1 , a compiler for CSS. It is first argued that generating CSS improves portability and maintainability of CSS files. This claim is supported by realist...
PPDP
2010
Springer
13 years 10 months ago
2010
Springer
Control operators for delimited continuations are useful in various fields such as partial evaluation, CPS translation, and representation of monadic effects. While many works in...
PPDP
2010
Springer
13 years 10 months ago
2010
Springer
Database query optimizers rely on data statistics in selecting query execution plans. Similar query optimization techniques are desirable for deductive databases and, to make this...
PPDP
2010
Springer
13 years 10 months ago
2010
Springer
We study the type checking and type inference problems for intuitionistic linear logic: given a System F typed λ-term, (i) for an alleged linear logic type, determine whether the...
PPDP
2010
Springer
13 years 10 months ago
2010
Springer
PPDP
2010
Springer
13 years 10 months ago
2010
Springer
The presence of uncertainty in the real world makes robustness to be a desired property of solutions to constraint satisfaction problems. Roughly speaking, a solution is robust if...
PPDP
2010
Springer
13 years 10 months ago
2010
Springer
PPDP
2010
Springer
13 years 10 months ago
2010
Springer
