45 search results - page 4 / 9 » A Partial Evaluation Framework for Curry Programs |
ESCIENCE
2006
IEEE
15 years 4 months ago
2006
IEEE
We have designed a maximum likelihood fitter using the actor model to distribute the computation over a heterogeneous network. The prototype implementation uses the SALSA program...
96
Voted
CADE
2010
Springer
14 years 11 months ago
2010
Springer
Automated software verification and path-sensitive program analysis require the ability to distinguish executable program paths from those that are infeasible. To achieve this, pro...
75
Voted
CAV
2007
Springer
15 years 2 months ago
2007
Springer
Abstract. Happen-before causal partial orders have been widely used in concurrent program verification and testing. This paper presents a parametric approach to happen-before causa...
193
click to vote
POPL
2002
ACM
15 years 10 months ago
2002
ACM
Some compilation systems, such as offline partial evaluators and selective dynamic compilation systems, support staged optimizations. A staged optimization is one where a logicall...
69
Voted
CC
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. This paper presents the design, implementation and experimental evaluation of a practical region-based partial dead code elimination (PDE) algorithm on predicated code in...