This document provides a description of the partial evaluator SAGE , a partial evaluator written in the logic programming language Gödel which specialises Gödel programs. Although capable of specialising any Gödel program SAGE was developed primarily to specialise meta-programs which use a ground representation. To assist users of SAGE this document gives an overview of SAGE , a manual for its ...

In this paper, we describe the implementation of a prototype evaluator for RDRL a domain-specific security typed programming language that allows dynamically tracking the information flow control and prevents both explicit and implicit insecure flows. The evaluator has been implemented using the ASF+SDF Language Specification Formalism which allows defining the syntax and semantics of a domain ...

The aim of this work is to describe a procedure for the partial evaluation of functional logic programs in rewriting-based languages using constraint-based information propagation. The partial evaluation algorithm incorporated with local and global control describes a KMP partial evaluator. We show results from the implementation of the partial evaluator in the rewriting-based functional logic ...

Reachability analysis and the recently proposed reverse reachability analysis are two important verification techniques f o r communicating finite state machines (CFSMs). The issue of the relative eficiency of reachability analysis and reverse reachability analysis is still unsettled. In this paper we f irst propose a new theory of reachability and reverse reachability analysis. Based on the ne...

In this paper, focus is placed on the design a new evaluator to assess the quality of the image watermarking techniques. The main idea is the introduction of an image quality evaluator dependent on a combination of five fuzzy logic-based similarity measures and neural network. In the first stage, fuzzy similarity measures are computed as features of each pair of original and watermarked images ...

We propose that a preference for favorable social feedback (i.e., self-enhancement) requires only that feedback be characterized as favorable or unfavorable but that a preference for self-confirming feedback (i.e., self-verification) is based on a more elaborate set of cognitive operations that requires both the characterization of feedback and a subsequent comparison of that feedback to a repr...

We present an evaluator for the call-by-name lambda calculus that is logically reversible. This evaluator is therefore a candidate for a computation mechanism that does not dissipate energy due to information erasure. Our design extends Landin's SECD evaluator for the lambda calculus with a history tape H|as in Bennett's constructions of reversible Turing machines|and is hence called SECD-H. Th...

Automatic reading assessment software has the difficult task of trying to model human-based observations, which have both objective and subjective components. In this paper, we mimic the grading patterns of a “ground-truth” (average) evaluator in order to produce models that agree with many people’s judgments. We examine one particular reading task, where children read a list of words aloud, an...

The paper proposes an on-line evolvable hardware (EHW), called mimetic EHW. The task is to mimic a sequential circuit by observing its partial input/output sequences. The genetic algorithm (GA) is used to search for the circuit satisfying input/output sequences collected from the target circuit. The mimetic EHW consists of a custom microprocessor and a tness evaluator. The microprocessor is par...

BACKGROUND After ST-elevation myocardial infarction (STEMI), microvascular obstruction (MVO) can be assessed using semiquantitative angiographic "blush" scores subject to interoperator variability. Quantitative Blush Evaluator (QuBE) is a free computer-calculated algorithm that evaluates myocardial blush on a continuous scale with improved reproducibility. We aimed to compare QuBE with cardiova...