The term rule-based program is meant to include definite clause programs, SOS specifications, attribute grammars, and conditional rewrite systems. These setups are widely used for the executable specification or implementation of language-based tools, e.g., interpreters, translators, type checkers, program analysers, and program transformations. We provide a pragmatic, transformation-based appr...

Abstract Objectives Research on school-based mindfulness programs ( SBMPs ) indicates promising, albeit mixed, effects. However, there has been a lack of consistency and completeness in implementation reporting, frustrating efforts to draw causal inferences about the elements that influence program outcomes. To address these issues, we crafted conceptual framework with an accompanying set key t...