Decompiling low-level code to a high-level intermediate representation facilitates the development of analyzers, model checkers, etc. which reason about properties of the low-level code (e.g., bytecode, .NET). Interpretive decompilation consists in partially evaluating an interpreter for the low-level language (written in the high-level language) w.r.t. the code to be decompiled. There have bee...

Listening is regarded as an interactive process involving decoding of information. This study was launched to find out the impact of bottom-up (BU) and top-down (TD) techniques on Iranian lower and upper intermediate learners’ listening comprehension. We selected a total of 120 participants in six intact classes, three lower intermediate and three upper intermediate. The proficiency level of th...

Condensed graphs are proposed as an intermediate representation for functional and imperative languages. This representation may be executed on a variety of architectures, implementing a multi-level Condensed Graphs abstract machine. This machine incorporates characteristics and feedback information of its underlying architecture and guides dynamic topological transformations of the representat...

Lists of if±then rules (i.e. ordered rule sets) are among the most expressive and intelligible representations for inductive learning algorithms. Two extreme strategies searching for such a list of rules can be distinguished: (i) local strategies primarily based on a step-by-step search for the optimal list of rules, and (ii) global strategies primarily based on a one-strike search for the opti...

The paper presents a new silicon wafer bonding technique. The high-resolution bonding pad is defined through photolithography process. Photosensitive materials with patternable characteristics are served as the adhesive intermediate bonding layer between the silicon wafers. Several types of photosensitive materials such as SU-8 (negative photoresist), AZ-4620 (positive photoresist), SP341 (poly...