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...

The concept of demotivation and removing possible barriers of learning has been researched and advocated throughout the ESL/EFL literature but it seems that it has not been well studied at least on Iranian seminary EFL learners. As such, this study aimed at investigating the effect of demotivation on oral performance of Iranian EFL seminary learners and finding possible demotivating factors whi...

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...