Timing analysis of assembler code control-flow paths

Timinganalysis of assembler code is essential to achieve the strongest possible guarantee of correctness for safety-critical, real-time software. Previous work has shown how timingconstrain ts on controlflow paths through high-level language programs can be formalised using the semantics of the statements comprisingthe path. We extend these results to assembler-level code where it becomes possible to not only determine timingconstrain ts, but also to verify them against the known execution times for each instruction. A minimal formal model is developed with both a weakest liberal precondition and a strongest postcondition semantics. However, despite the formalism’s simplicity, it is shown that complex timingb ehaviour associated with instruction pipeliningand iterative code can be modelled accurately.

News framing in different language versions of state-sponsored international media : A case of Russian and English versions in RT and Radio Liberty

The current paper examines the dissimilarities that have occurred in news framing by state-sponsored news outlets in their different language versions. The comparative framing analysis is conducted on the news coverage of the Russian intervention in Syria (2016) in RT and Radio Liberty in Russian and English languages. The certain discrepancies in framing of this event are found in both news outlets. The strongest distinction between Russian and English versions occurred in framing of responsibility and humanitarian crisis in Syria. The study attempts to explain the identified differences in a framework of public diplomacy and propaganda studies. The existing theories explain that political ideology and foreign policy orientation influences principles of state propaganda and state-sponsored international broadcasting. However, the current findings suggest that other influence factors may exist in the field – such as the local news discourse and the journalistic principles. This conclusion is preliminary, as there are not many studies with the comparable research design, which could support the current discussion. The studies of localized strategies of the international media (whether private networks or state-funded channels) can refine the current conclusions and bring a new perspective to global media studies.

Studying language:English in action

This book introduces key ideas and current critical debates about how English functions within its social and cultural contexts, and provides practical examples and guidance on how to approach further work in these areas. It introduces core topics of language study; language variation, pragmatics, stylistics, critical discourse analysis, language and gender and language and education. Each chapter includes case studies providing worked analysis of sample texts, suggestions for further project work and an annotated further reading section.

Quantifying evidence for forensic authorship analysis

The judicial interest in ‘scientific’ evidence has driven recent work to quantify results for forensic linguistic authorship analysis. Through a methodological discussion and a worked example this paper examines the issues which complicate attempts to quantify results in work. The solution suggested to some of the difficulties is a sampling and testing strategy which helps to identify potentially useful, valid and reliable markers of authorship. An important feature of the sampling strategy is that these markers identified as being generally valid and reliable are retested for use in specific authorship analysis cases. The suggested approach for drawing quantified conclusions combines discriminant function analysis and Bayesian likelihood measures. The worked example starts with twenty comparison texts for each of three potential authors and then uses a progressively smaller comparison corpus, reducing to fifteen, ten, five and finally three texts per author. This worked example demonstrates how reducing the amount of data affects the way conclusions can be drawn. With greater numbers of reference texts quantified and safe attributions are shown to be possible, but as the number of reference texts reduces the analysis shows how the conclusion which should be reached is that no attribution can be made. The testing process at no point results in instances of a misattribution.

Discourse analysis for translation and translator training: status, needs, methods

Editorial

Political discourse analysis from the point of view of translation studies

Political discourse very often relies on translation. Political Discourse Analysis (PDA), however, has not yet taken full account of the phenomenon of translation. This paper argues that the disciplines of Translation Studies (TS) and PDA can benefit from closer cooperation. It starts by presenting examples of authentic translations of political texts, commenting on them from the point of view of TS. These examples concern political effects caused by specific translation solutions; the processes by which information is transferred via translation to another culture; and the structure and function of equally valid texts in their respective cultures. After a brief survey of the discipline of Translation Studies, the paper concludes with outlining scope for interdisciplinary cooperation between PDA and TS. This is illustrated with reference to an awareness of product features, multilingual texts, process analysis, and the politics of translation.

Time complexity and convergence analysis of domain theoretic Picard method

We present an implementation of the domain-theoretic Picard method for solving initial value problems (IVPs) introduced by Edalat and Pattinson [1]. Compared to Edalat and Pattinson's implementation, our algorithm uses a more efficient arithmetic based on an arbitrary precision floating-point library. Despite the additional overestimations due to floating-point rounding, we obtain a similar bound on the convergence rate of the produced approximations. Moreover, our convergence analysis is detailed enough to allow a static optimisation in the growth of the precision used in successive Picard iterations. Such optimisation greatly improves the efficiency of the solving process. Although a similar optimisation could be performed dynamically without our analysis, a static one gives us a significant advantage: we are able to predict the time it will take the solver to obtain an approximation of a certain (arbitrarily high) quality.

Feminist Post-structuralist discourse analysis: a new theoretical and methodological approach?

This chapter serves three very important functions within this collection. First, it aims to make the existence of FPDA better known to both gender and language researchers and to the wider community of discourse analysts, by outlining FPDA’s own theoretical and methodological approaches. This involves locating and positioning FPDA in relation, yet in contradistinction to, the fields of discourse analysis to which it is most often compared: Critical Discourse Analysis (CDA) and, to a lesser extent, Conversation Analysis (CA). Secondly, the chapter serves a vital symbolic function. It aims to contest the authority of the more established theoretical and methodological approaches represented in this collection, which currently dominate the field of discourse analysis. FPDA considers that an established field like gender and language study will only thrive and develop if it is receptive to new ways of thinking, divergent methods of study, and approaches that question and contest received wisdoms or established methods. Thirdly, the chapter aims to introduce some new, experimental and ground-breaking FPDA work, including that by Harold Castañeda-Peña and Laurel Kamada (same volume). I indicate the different ways in which a number of young scholars are imaginatively developing the possibilities of an FPDA approach to their specific gender and language projects.

Is it all tough talking at the top? A post-structuralist analysis of the construction of gendered speaker identities of British business leaders within interview narratives

This paper uses a feminist post-structuralist approach to examine the gendered identities of a sample of British business leaders in Britain. While recent national surveys offer many material reasons why women are acutely under-represented as business leaders, the role of language is rarely addressed. This paper explores the ways in which ten senior women and men construct their sense of leadership identities through the medium of interview narratives. Drawing upon two poststructuralist models of analysis (Derrida’s 1987 theory of deconstruction and Bakhtin’s 1927/1981 concept of double-voiced discourse), the paper shows how both females and males are able to shift pragmatically between interwoven corporate discourses, which demand competing cultural allegiances from one moment to the next, allegiances constantly tested by the rapid change and uncertainty that characterise global business. While male leaders experience a relative freedom of movement between different cultural discourses, female leaders are circumscribed by negative and reductive representations of female speech and behaviour. In sum, senior women are required constantly to observe, review, police and repair their use of leadership language, which potentially undermines their confidence and authority as leaders.

'I felt that I do live in the UK now':international students' self-reports of their English language speaking experiences on a pre-sessional programme

This article focuses on the English language experiences of a group of pre-sessional students, an under-represented group in the literature on language and education. In particular, it investigates the opportunities that such students have to use English outside the classroom, shown to be a key factor in student satisfaction with their study abroad experience. Drawing on data from questionnaires, interviews and on-line diaries, we show that students have a variety of opportunities to use English; however, these opportunities may require students to engage in complex negotiations right from the beginning of their sojourn in the UK. Micro-analysis of the data shows that agency is a key construct in understanding students' representations of their English encounters as they begin their lives in the UK. The article concludes with some suggestions as to how pre-sessional courses may develop students' linguistic and socio-cultural skills in order that they may interact successfully in English outside the classroom. © 2011 Taylor &Francis.

Language and peace

This study seeks to demonstrate how critical discourse analysis can elucidate the relationship between language and peace. It provides a view on the notion of peace put forward by peace researchers, namely that peace includes not only the absence of war or physical violence, but also the absence of structural violence. Approaching the topic from various perspectives, the volume argues that language is a factor to be considered together with social and economic factors in any examination of the social conditions and institutions that prevent the achievement of a comprehensive peace. It illustrates a framework of concepts and methodologies that offer to help guide future linguistic research in this area, and also calls for foreign language, second language and peace educators to include critical linguistic education into their curricula and describes an approach for doing so.