A novel approach to the veriication of meta-interpreters is introduced. We apply a general purpose veriication method for logic programs, proposed in 28], to the case study of the Vanilla and other logic meta-interpreters. We extend the standard notion of declarative correctness, and design a criterion for proving correctness of meta-interpreters in a general sense, including amalgamated and re...

In a virtual machine interpreter, the code for each virtual machine instruction has similarities to code for other instructions. We present an interpreter generator that takes simple virtual machine instruction descriptions as input and generates C code for processing the instructions in several ways: execution, virtual machine code generation, disassembly, tracing, and profiling. The generator...

Area estimation is widely used in forestry applications and can greatly affect how forest land is managed. This study examined whether image attributes and interpreters affected area estimation and management activities used in forestry practices. Seven interpreters, chosen for this study, delineated stands on two different images of the same area. Results from these interpretations were then e...

OBJECTIVE This study examined the competence and accuracy of ad hoc interpreters in interpreting key psychiatric terms at a South African psychiatric hospital METHODS Nine individuals were asked to translate key psychiatric terms from English to Xhosa. These translations were then back-translated by independent translators, who do not have knowledge of psychiatric terminology. These back-tran...

OBJECTIVE To study interpreters' experiences of problems in cross-cultural communication with special regard to the general practitioner (GP)-patient encounter. DESIGN A focus-group interview with authorized interpreters was carried out. A phenomenographic method was used in the analysis. SETTING Primary health care. RESULTS The interpreters displayed a number of problems mainly related t...

An important issue when deening a rule-based agent programming language is the design of interpreters for these programming languages. Since these languages are all based on some notion of rule, an interpreter must provide some means of selection from a set of such rules. We provide a concrete and intuitive ordering on rules on which this selection can be based. This ordering is inspired by the...

This paper summarizes the work carried out by the authors during the last years. It proposes an approach for defining extensible and flexible formal interpreters for diagram notations based on high-level timed Petri nets. The approach defines interpreters by means of two sets of rules. The first set specifies the correspondences between the elements of the diagram notation and those of the sema...

Modern operating systems run multiple interpreters in the kernel, which enable user-space applications to add new functionality or specialize system policies. The correctness of such interpreters is critical to the overall system security: bugs in interpreters could allow adversaries to compromise user-space applications and even the kernel. Jitk is a new infrastructure for building in-kernel i...

Domain-specific modeling techniques are being adopted with more frequency in the engineering of computer based systems. In the presence of new stakeholder requirements, it is possible that a meta-model undergoes numerous changes during periods of evolution. There is a fundamental problem in maintaining the model interpreters in terms of such metamodel schema changes. This position paper outline...

BACKGROUND The literature concerning interpretation in research primarily concentrates on rigorous techniques to eliminate bias. This article analyses other significant issues that arise when interpreters participate in research. MATERIAL Empirical examples are drawn from a research project concerning mental ill health in a multicultural neighbourhood. DISCUSSION Interpreters influence inte...