Reasoning about Java bytecode (JBC) is complicated due to its unstructured control-flow, the use of three-address code combined with the use of an operand stack, etc. Therefore, many static analyzers and model checkers for JBC first convert the code into a higher-level representation. In contrast to traditional decompilation, such representation is often not Java source, but rather some interme...

CAPSL, a Common Authentication Protocol Specification Language, is a high-level language to support security analysis of cryptographic authentication and key distribution protocols. It is translated to CIL, an intermediate language expressing state transitions with term-rewriting rules. Connectors are being written to adapt CIL to supply input to different security analysis tools, including PVS...

Mispronunciation is still among the frailties of language learners the world over. The present study reports an all-out investigation into pronunciation training for the Persian-speaking EFL learners at the intermediate level of language proficiency. More specifically, the present study investigated (a) the underlying causes of mispronunciation at the level of segmental features, (b) the crucia...

The present study attempted the relative effect of explicit teaching of textual metadiscourse markers on ESAP reading comprehension performance of Iranian university students through an awareness raising experiment. A sixty-item multiple choice ESAP reading comprehension test of accounting was developed and validated to act as the pre-test and post-test. The test included items for assessing sp...