In this article we explain two different operational interpretations of functional programs by two different logics. The programs are simply typed λ-terms with pairs, projections, if-then-else, and least fixed point recursion. A logic for call-by-value evaluation and a logic for call-byname evaluation are obtained as as extensions of a system which we call the basic logic of partial terms (BPT)...

The formative evaluation consultation and systems technique (FORECAST) approach to evaluating complex community programs is described as an empowerment evaluation strategy. First, empowerment evaluation is defined and contrasted with more-traditional approaches, such as experimental and quasi-experimental designs. Then FORECAST is described, illustrating how it was applied in four community pro...

Delivering superior expressive power over RDBMS, while maintaining competitive performance, has represented the main goal and technical challenge for deductive database research since its inception forty years ago. Significant progress toward this ambitious goal is being achieved by the DeALS system through the parallel bottom-up evaluation of logic programs, including recursive programs with m...

For more than a decade, government, the private sector, associations, universities and schools have initiated projects aimed at increasing the participation of women in information technology (IT). Despite these efforts, female enrolments in computer science, engineering and IT programs, have plateaued or even declined. While many initiatives report high levels of participant satisfaction, thei...

introduction. the necessity of making improvement on nurse’s knowledge and expertise has led nursing executives of continuing education to evaluate programs. application of continuing education program should not only be limited to taking part in programs but also it should include evaluation mechanism for measuring the extent of participant’s progress. this pre–post test study was arranged to ...