We define a general framework to handle liveness and related properties by reduction strategies in abstract reduction and term rewriting. Classically, reduction strategies in rewriting are used to simulate the evaluation process in programming languages. The aim of our work is to use reduction strategies to also study liveness questions which are of high importance in practice (e.g., in protoco...

Abstract—Mutation analysis is a well-known, but computationally intensive, method for measuring test suite quality. While multiple strategies have been proposed to reduce the number of mutants, there is inconclusive evidence for their utility due to the limited number and size of programs used for validation, and a lack of comprehensive comparative studies. Traditional evaluation criteria for m...

Postoperative Ileus (POI) is a frequent, frustrating occurrence for patients and surgeons after abdominal surgery. Despite significant research investigating how to reduce this multi-factorial phenomenon, a single strategy has not been shown to reduce POI's significant effects on length of stay (LOS) and hospital costs. Perhaps the most significant cause of POI is the use of narcotics for analg...

This paper surveys reduction or evaluation strategies for functional and functional logic programs. Reasonable reduction strategies for declarative languages must be efficiently implementable to be useful in practice. On the other hand, they should also support the programmers to write programs in a declarative way ignoring the influence of the evaluation strategy to the success of a computatio...

One of the major goals of the Sustainable Agriculture Farming initiatives at UC Davis is to provide information about the feasibility of adopting conservation tillage and cover cropping at the farm level. The project includes two tillage schemes: standard tillage (ST) and conservation tillage (CT), and three farming methods: conventional, organic, and winter legume cover crop. All three product...

Global biodiversity continues along a trajectory of decline despite enormous conservation efforts (Rands et al., 2010). This is also true in China, one of the most biodiversity-rich countries in the world (Liu and Raven, 2010; Ministry of Environmental Protection of China, 2010a). To fundamentally change this trajectory, it is essential to understand complex interactions among various forces af...

Despite their ambiguous historical record, conservation/development interventions the world over have remained a popular environmental governance tool. One of the latest global ‘trends’ are interventions to establish so-called ‘Transfrontier Conservation Areas’ (TFCAs): large contiguous spaces that are principally aimed at conserving biological diversity across national boundaries. In line with...