Trace Semantics for the Owicki-Gries Theory Integrated with the Progress Logic from UNITY

The theory of Owicki and Gries has been used as a platform for safety-based verifcation and derivation of concurrent programs. It has also been integrated with the progress logic of UNITY which has allowed newer techniques of progress-based verifcation and derivation to be developed. However, a theoretical basis for the integrated theory has thus far been missing. In this paper, we provide a theoretical background for the logic of Owicki and Gries integrated with the logic of progress from UNITY. An operational semantics for the new framework is provided which is used to prove soundness of the progress logic.

Task Complexity and Variation in L2 Learner’s Oral Discourse

There are many factors which affect the L2 learner’s performance at the levels of phonology, morphology and syntax. Consequently when L2 learners attempt to communicate in the target language, their language production will show systematic variability across the above mentioned linguistic domains. This variation can be attributed to some factors such as interlocutors, topic familiarity, prior knowledge, task condition, planning time and tasks types. This paper reports the results of an on going research investigating the issue of variability attributed to the task type. It is hypothesized that the particular type of task learners are required to perform will result in variation in their performance. Results of the statistical analyses of this study investigating the issue of variation in the performance of twenty L2 learners at the English department of Tabriz University provided evidence in support of the hypothesis that performance of L2 learners show systematic variability attributed to task.

From possessive pronoun to emphatic determiner: 'so' in Mauritian Creole

This paper argues that at a particular stage in the genesis of Mauritian Creole (MC), the 3sg possessive pronoun 'so', inherited from the French 'son' was used as a definite determiner as well as a possessive pronoun. It was used when there was a need to single out a unique element in the discourse, or to introduce a new referent which was to become the focus of attention. 'So' was mostly used with genitive constructions, where a phonologically null determiner was equally grammatical. This paper argues that, in the early creole, genitive constructions licensed the determinative use of this pronoun. The use of 'so' with genitive constructions is no longer grammatical in modern MC, but this particle continues to be used as an emphatic determiner, where it now modifies both singular and plural NPs.

The emergence of the determiner system in Mauritian Creole: a syntax semantics mapping

This paper describes the emergence of new functional items in the Mauritian Creole noun phrase, following the collapse of the French determiner system when superstrate and substrate came into contact. The aim of the paper is to show how the new language strived to express the universal semantic contrasts of (in)definiteness and singular vs. plural. The process of grammaticalization of new functional items in the determiner system was accompanied by changes in the syntax from French to creole. An analysis within Chomsky’s Minimalist framework (1995, 2000, 2001) suggests that these changes were driven by the need to map semantic features onto the syntax.

University of Queensland Working Papers in Linguistics

University of Queensland Working Papers in Linguistics is an opportunity to share and showcase ongoing research by staff, students, and associates of UQ’s Linguistics program, housed in the School of English, Media Studies, and Art History. This, the first volume, covers a number of topics ranging from formal syntactic theory to second language acquisition, and is representative of the broad spectrum of research that is carried out at The University of Queensland. While the papers herein represent works in progress, they have all been reviewed by two peer assessors, and revised in accordance with the assessors’ reports.

Hypercapitalism: New media, language, and social perceptions of value

Every day trillions of dollars circulate the globe in a digital data space and new forms of property and ownership emerge. Massive corporate entities with a global reach are formed and disappear with breathtaking speed, making and breaking personal fortunes the size of which defy imagination. Fictitious commodities abound. The genomes of entire nations have become corporately owned. Relationships have become the overt basis of economic wealth and political power. Hypercapitalism explores the problems of understanding this emergent form of global political economic organization by focusing on the internal relations between language, new media networks, and social perceptions of value. Taking an historical approach informed by Marx, Phil Graham draws upon writings in political economy, media studies, sociolinguistics, anthropology, and critical social science to understand the development, roots, and trajectory of the global system in which every possible aspect of human existence, including imagined futures, has become a commodity form.