This paper presents a new approach to optimizing functional programs based on combining partial evaluation and rewriting. Programs are composed of higher-order primitives. Partial evaluation is used to eliminate higher-order functions. First-order rewriting is used to process the transformation. Laws about the higher-order primitives that are relevant for the optimizations are automatically ext...

This paper presents a new approach to optimizing functional programs based on combining partial evaluation and rewriting. Programs are composed of higher-order primitives. Partial evaluation is used to eliminate higher-order functions. First-order rewriting is used to process the transformation. Laws about the higher-order primitives that are relevant for the optimizations are automatically ext...

As software systems are getting increasingly connected, there is a need for equipping nonmonotonic logic programs with access to external sources that are possibly remote and may contain information in heterogeneous formats. To cater for this need, HEX programs were designed as a generalization of answer set programs with an API style interface that allows to access arbitrary external sources, ...

Nonlinear recursion is one of the most challenging classes of logic programs for eecient evaluation in logic programming systems. We identify one popular class of nonlinear recur-sion, regular nonlinear recursion, and investigate its eecient implementation by a deductive database approach. The approach performs a detailed query binding analysis based on query information, constraint information...

Partial Evaluation is an automatic technique for program optimization. The aim of partial evaluation is to specialize a program with respect to part of its input, which is known as the static data. Existing algorithms for on-line partial evaluation of logic programs, given an initial program and a description of runtime queries, deterministically produce a specialized program. The quality of th...

BACKGROUND Those involved in school health education programs generally believe that health-education programs can play an important role in helping young people make positive health decisions. Thus, it is to document the effects of such programs through rigorous evaluations published in peer-reviewed journals. METHODS This paper helps the reader understand the context of school health progra...

L ocal and state food and water safety programs are on the frontline of food and waterborne illness prevention. Yet in the current economic climate, some of these public health programs are being re­ duced or eliminated. Data that show the im­ pact of these programs on public health are crucial to policy makers faced with difficult choices that may affect the health of the com­ munities they se...

1 BACKGROUND Graduate medical education has recently undergone a major archetypal shift toward competency-based evaluations of residents’ performance. The implementation of the milestone programs by the Accreditation Council for Graduate Medical Education is a core component of the shift, designed to ensure uniformity in measuring residency knowledge using a series of specialty-specific achieve...