358 search results - page 47 / 72 » Parallel Evaluation Strategies for Functional Logic Language... |
AMAST
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. Declarative debugging has been applied to many declarative programming paradigms; in this paper, a declarative debugger for rewriting logic specifications, embodied in th...
ENTCS
2002
14 years 11 months ago
2002
Abstract. We present an extension to linear-time temporal logic (LTL) that combines the temporal specification with the collection of statistical data. By collecting statistics ove...
ICWS
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract--Most work on adaptive workflows offers insufficient flexibility to enforce complex policies regarding dynamic, evolvable and robust workflows. In addition, many proposed ...
100
click to vote
IFIP
2005
Springer
15 years 5 months ago
2005
Springer
Two different approaches are proposed to enhance the efficiency of the numerical resolution of optimal control problems governed by a linear advection– diffusion equation. In ...
ESOP
2003
Springer
15 years 5 months ago
2003
Springer
Security folklore holds that a security mechanism based on stack inspection is incompatible with a global tail call optimization policy. An implementation of such a language may ha...