We have experimentally validated the theoretical insight, that a compiler generator is a generating extension of a program specializer, by showing that an existing offline partial evaluator can perform the fourth Futamura projection. Specifically, an online and an offline partial evalua-tor for an imperative flowchart language were transformed into two new compiler generators by Romanenko's cla...

In this article, we discuss a flow–sensitive analysis of equality relationships for imperative programs. We describe its semantic domains, general purpose operations over abstract computational states (term evaluation and identification, semantic completion, widening operator, etc.) and semantic transformers corresponding to program constructs. We summarize our experiences from the last few yea...

Objective: The study aimed to (1) determine if standardised patient (SP) assessment of student communication differs from faculty and (2) identify factors that may affect their scoring since differences between evaluator could impact students’ learning feedback. Methods: Students completed four OSCEs in spring 2022. Communication skills were scored using a global rubric by evaluator, SP, studen...

The OCL language is now well-accepted by the modeling community. To be compliant with the regularly updated standard, evaluators must ensure that OCL is a strongly typed language. Indeed, during the analysis of a rule, the evaluator must ensure a correct and a deterministic type of each sub-expression handled. We have chosen to provide a dynamic type system for our OCL evaluator. Moreover, form...

This paper presents a method for computer aided tutor evaluation. The method is based on Bayesian Networks used for organizing the collected data about tutors and for enabling accurate estimations and predictions about future tutor behavior. The model provides indications about each tutor’s strengths and weaknesses, which enables the evaluator to exploit strengths to the benefit of the Universi...

We present and prove properties of a new offline policy evaluator for an exploration learning setting which is superior to previous evaluators. In particular, it simultaneously and correctly incorporates techniques from importance weighting, doubly robust evaluation, and nonstationary policy evaluation approaches. In addition, our approach allows generating longer histories by careful control o...

O’FAIRe, the Ontology FAIRness Evaluator, is a methodology to automatically assess which level semantic resource or ontology respects FAIR Principles. This paper describes online tool implementing O’FAIRe within AgroPortal repository, through 61 questions/tests, among 80% are based on metadata description. For specific group of resources, web service outputs both global and detailed scores (nor...

Many studies have been made and still concerning the field of translation. Since mid-90's a considerable amount researches has tackled problem gender its effect on process product Simon (1996, p 508) points out that when comparing women men as translators writers through history, seem to be weaker side. This paves way feminist movements which produce prominent concept translator's practice qual...

Syntax Tree run attribute evaluator run LALR(1) parser Textual Constraints Concrete Syntax Tree Model constraints loaded [no evaluation errors] hasModelAndCst model loaded