We present a self-applicable partial evaluator for a large subset of full Prolog. The partial evaluator, called Logimix, is the result of applying our experience from partial eval...
Regression testing is the verification that previously functioning software remains after a change. In this paper we report on a systematic review of empirical evaluations of regr...
Supporting users’ navigation is a fundamental feature of mobile guides. This paper presents an experimental evaluation comparing three different ways of providing navigation gu...