A framework for reasoning about inherent parallelism in modern object-oriented languages

With the emergence of multi-core processors into the mainstream, parallel programming is no longer the specialized domain it once was. There is a growing need for systems to allow programmers to more easily reason about data dependencies and inherent parallelism in general purpose programs. Many of these programs are written in popular imperative programming languages like Java and C]. In this thesis I present a system for reasoning about side-effects of evaluation in an abstract and composable manner that is suitable for use by both programmers and automated tools such as compilers. The goal of developing such a system is to both facilitate the automatic exploitation of the inherent parallelism present in imperative programs and to allow programmers to reason about dependencies which may be limiting the parallelism available for exploitation in their applications. Previous work on languages and type systems for parallel computing has tended to focus on providing the programmer with tools to facilitate the manual parallelization of programs; programmers must decide when and where it is safe to employ parallelism without the assistance of the compiler or other automated tools. None of the existing systems combine abstraction and composition with parallelization and correctness checking to produce a framework which helps both programmers and automated tools to reason about inherent parallelism. In this work I present a system for abstractly reasoning about side-effects and data dependencies in modern, imperative, object-oriented languages using a type and effect system based on ideas from Ownership Types. I have developed sufficient conditions for the safe, automated detection and exploitation of a number task, data and loop parallelism patterns in terms of ownership relationships. To validate my work, I have applied my ideas to the C] version 3.0 language to produce a language extension called Zal. I have implemented a compiler for the Zal language as an extension of the GPC] research compiler as a proof of concept of my system. I have used it to parallelize a number of real-world applications to demonstrate the feasibility of my proposed approach. In addition to this empirical validation, I present an argument for the correctness of the type system and language semantics I have proposed as well as sketches of proofs for the correctness of the sufficient conditions for parallelization proposed.

Futures languages in Taiwan

Taiwan is a rapidly changing society, facing many challenges. In this state of flux, it is important to step back and see the big picture. The NewFutures 2000 conference, which commemorated fifty years of the of Tamkang University, in TamShui (the northernmost tip), Taiwan (Republic of China) and was held on 5–7 November 2000, gave Taiwanese an opportunity to gain just such a perspective. The ostensible aim of the conference was to explore ‘transformations in education, culture and technology’. But numerous perspectives and academic approaches were explored; predictions, normative visions, probable futures, alternative futures, ethical futures, epistemological re-constructions, studies and deconstruction’s of images of the future, myth and worldview—all received attention, sometimes overwhelming the participants with contradictory and overbearing ideas. [introduction]

Information accountability with policy languages for e-Health

ICT is becoming a prominent part of healthcare delivery but brings with it information privacy concerns for patients and competing concerns by the caregivers. A proper balance between these issues must be established in order to fully utilise ICT capabilities in healthcare. Information accountability is a fairly new concept to computer science which focuses on fair use of information. In this paper we investigate the different issues that need to be addressed when applying information accountability principles to manage healthcare information. We briefly introduce an information accountability framework for handling electronic health records (eHR). We focus more on digital rights management by considering data in eHRs as digital assets and how we can represent privacy policies and data usage policies as these are key factors in accountability systems.

Drama and languages education : authentic assessment through process drama

In this chapter I explore the ways process drama can enrich and enliven the assessment regime of a middle school beginner language program. The chapter draws on five months’ language teaching which I did to collect data during my doctoral research. I taught a secondary co-educational class of 12-13 year olds (first year secondary school) for their German lessons while the teacher who had invited me in observed the lessons. Throughout the project there was an emphasis on student participation through questionnaire, discussion and interview...

Languages of Communication : Indigenous language and/or English?

My interest in producing this paper on Indigenous languages was borne out of conversations with and learnings from community members in the Torres Straits and those connected to the ‘Dream Circle’. Nakata (2003, p. 12) laments the situation whereby ‘teachers are transitionary and take their hard-earned knowledge with them when they leave’. I am thus responding to the call to add to the conversation in a productive albeit culturally loaded way. To re-iterate, I am neither Indigenous nor am I experienced in teaching and learning in these contexts. As problematic as these two points are, I am in many ways typical of the raft of inexperienced white Australian teachers assigned to positions in school contexts where Indigenous students are enrolled or in mainstream contexts with substantial populations of Indigenous students. By penning this article, it is neither my intention to contribute to the silencing of Indigenous educators or Indigenous communities. My intention is to articulate my teacherly reflections as they apply to the topic under discussion. The remainder of this paper is presented in three sections. The next section provides a brief overview of the number of Indigenous people and Indigenous languages in Australia and the role of English as a language of communication. The section which follows draws on theorisations from second/additional language acquisition to overview three different schools of thought about the consequences of English in the lives of Indigenous Australians. The paper concludes by considering the tensions for inexperienced white Australian teachers caught up in the fray.

Stigmergy within web modelling languages : positive feedback mechanisms

Stigmergy is a biological term originally used when discussing insect or swarm behaviour, and describes a model supporting environment-based communication separating artefacts from agents. This phenomenon is demonstrated in the behavior of ants and their food foraging supported by pheromone trails, or similarly termites and their termite nest building process. What is interesting with this mechanism is that highly organized societies are formed without an apparent central management function. We see design features in Web sites that mimic stigmergic mechanisms as part of the User Interface and we have created generalizations of these patterns. Software development and Web site development techniques have evolved significantly over the past 20 years. Recent progress in this area proposes languages to model web applications to facilitate the nuances specific to these developments. These modeling languages provide a suitable framework for building reusable components encapsulating our design patterns of stigmergy. We hypothesize that incorporating stigmergy as a separate feature of a site’s primary function will ultimately lead to enhanced user coordination.

Parallel parsing of programming languages

A new method of specifying the syntax of programming languages, known as hierarchical language specifications (HLS), is proposed. Efficient parallel algorithms for parsing languages generated by HLS are presented. These algorithms run on an exclusive-read exclusive-write parallel random-access machine. They require O(n) processors and O(log2n) time, where n is the length of the string to be parsed. The most important feature of these algorithms is that they do not use a stack.

Data definition and manipulation languages for a CAD database

In this paper the main features of ARDBID (A Relational Database for Interactive Design) have been described. An overview of the organization of the database has been presented and a detailed description of the data definition and manipulation languages has been given. These have been implemented on a DEC 1090 system.

Inarinsaamen käsitemetaforat

This study discusses the conceptual metaphors of Inari Saami, an endangered, indigenous, Finno-Ugrian language spoken in northern Finland. The research focuses on systematical mappings between source and target domains in conventional Inari Saami metaphors and metonymies. The research material consists of the Inarinsaamen idiomisanakirja [Inari Saami idiom dictionary] which has been compiled by the author in collaboration with an Inari Saami co-author; the Inarilappisches Wörterbuch; Inarinsaamelaista kansantietoutta [Inari Saami folk knowledge]; and Aanaarkiela čájttuzeh [Inari Saami sample texts]. The metaphors and metonymies found in these literary sources are divided into categories on the basis of the target domains and according to the classic model of Lakoff ja Johnson (1980). This method reveals the systematical recurrence of source domains inside each category and thus discovers the systematical patterns of metaphoric mapping, the conceptual metaphors . As a result 44 conceptual metaphors and 16 conceptual metonymies are presented through approximately 500 glossed examples. These findings are discussed against the background of what is known about the cognitive and neural processing of metaphors on the one hand, and what is known about Inari Saami culture on the other. This theoretical framework highlights culture as the underlying force behind conceptual metaphors. The recurring metonymies seem to follow a culturally salient indexicality. For example, the Inari Saami conceptual metonymy TIME IS NATURE reflects the seasonal changes in the year s cycle, which was the salient index of time in traditional Inari Saami culture. The recurring metaphors, for their part, follow a culturally salient iconicity. The conceptual metaphor PRIDE IS ANTLERS is based on an iconicity which is experienced and interpreted by the Inari Saami. A proud person is associated with a reindeer who shows off his impressive antlers. The conceptual metaphor/metonymy seems to be a reflection of culture rather than a cognitive means of understanding an abstract domain in terms of a concrete domain, as hypothesized by certain theoreticians. Repeating this study with other languages may lead to the possibility of typologizing the metaphorical systems of the world s languages and understanding the diversity of metaphor systems in the endangered languages of the world.

Nonverbal predication in Erzya : Studies on morphosyntactic variation and part of speech distinctions

This dissertation consists of four articles and an introduction. The five parts address the same topic, nonverbal predication in Erzya, from different perspectives. The work is at the same time linguistic typology and Uralic studies. The findings based on a large corpus of empirical Erzya data, which was collected using several different methods and included recordings of the spoken language, made it possible for the present study to apply, then test and finally discuss the previous theories based on cross-linguistic data. Erzya makes use of multiple predication patterns which vary from totally analytic to the morphologically very complex. Nonverbal predicate clause types are classified on the basis of propositional acts in clauses denoting class-membership, identity, property and location. The predicates of these clauses are nouns, adjectives and locational expressions, respectively. The following three predication strategies in Erzya nonverbal predication can be identified: i. the zero-copula construction, ii. the predicative suffix construction and iii. the copula construction. It has been suggested that verbs and nouns cannot be clearly distinguished on morphological grounds when functioning as predicates in Erzya. This study shows that even though predicativity must not be considered a sufficient tool for defining parts of speech in any language, the Erzya lexical classes of adjective, noun and verb can be distinguished from each other also in predicate position. The relative frequency and degree of obligation for using the predicative suffix construction decreases when moving left to right on the scale verb adjective/locative noun ( identificational statement). The predicative suffix is the main pattern in the present tense over the whole domain of nonverbal predication in Standard Erzya, but if it is replaced it is most likely to be with a zero-copula construction in a nominal predication. This study exploits the theory of (a)symmetry for the first time in order to describe verbal vs. nonverbal predication. It is shown that the asymmetry of paradigms and constructions differentiates the lexical classes. Asymmetrical structures are motivated by functional level asymmetry. Variation in predication as such adds to the complexity of the grammar. When symmetric structures are employed, the functional complexity of grammar decreases, even though morphological complexity increases. The genre affects the employment of predication strategies in Erzya. There are differences in the relative frequency of the patterns, and some patterns are totally lacking from some of the data. The clearest difference is that the past tense predicative suffix construction occurs relatively frequently in Standard Erzya, while it occurs infrequently in the other data. Also, the predicative suffixes of the present tense are used more regularly in written Standard Erzya than in any other genre. The genre also affects the incidence of the translative in uľ(ń)ems copula constructions. In translations from Russian to Erzya the translative case is employed relatively frequently in comparison to other data. This study reveals differences between the two Mordvinic languages Erzya and Moksha. The predicative suffixes (bound person markers) of the present tense are used more regularly in Moksha in all kinds of nonverbal predicate clauses compared to Erzya. It should further be observed that identificational statements are encoded with a predicative suffix in Moksha, but seldom in Erzya. Erzya clauses are more frequently encoded using zero-constructions, displaying agreement in number only.

Kantauralin murteutuminen vokaalivastaavuuksien valossa

Tässä työssä käsittelen kolmen läntisimmän (saame, itämerensuomi ja mordva) ja kolmen itäisimmän kielihaaran (mansi, hanti ja samojedi) ensitavun vokaalivastaavuuksia aineistonani Pekka Sammallahden sanalista artikkelista Historical phonology of the Uralic Languages (kirjasta The Uralic languages, 1988, toimittanut Denis Sinor). Keskiset kielihaarat marin, permin ja unkarin olen tässä työssä jättänyt systemaattisen tarkastelun ulkopuolelle, koska pohjustustyön aikana selvisi kaksi tendenssiä: yhtäältä monella näiden kielihaarojen vokaaleista on taustallaan useita eri kantauralin vokaaleja, ja toisaalta monilla kantauralin vokaaleilla on jatkajinaan erilaisia vokaaleja kyseisissä kielihaaroissa. Lisäksi jättämällä näiden kielten vokaaliston systemaattisen selvittämisen myöhempiin tutkimuksiin minun on mahdollista koetella lopputyössä esittämiäni hypoteeseja. Tarkasteluni perusteella sana-aineisto antaa mahdollisuuden sellaiselle uudelleentulkinnalle, että kantauralin ensitavun vokaaliparadigma olisikin ollut aiemmin oletettua rikkaampi. Itäisissä kielihaaroissa on säilynyt enemmän distinktiivisiä vokaalifoneemeja kuin läntisissä, ja vaikka läntisissä kielihaaroissa vokaalifoneemien kokonaislukumäärä on lähtökohtaisesti pienempi, selittyvät eräissä sanaryhmissä esiintyvät vokaalivastaavuussarjat luontevimmin niin, että vokaalit ovat lännessä langenneet yhteen, mutta eri kielihaaroissa eri tavalla. Toisin sanoen itäisten kielihaarojen distinktiivisiä vokaaleja vastaavat systemaattisella tavalla läntisten kielihaarojen epäsäännöllisinä pidetyt vastaavuussarjat. Nähdäkseni tässä työssä esittämiäni seikkoja ei ole aikaisemmin havaittu johtuen menetelmän sisäänrakennetuista rajoituksista: yksittäisiä vokaaleja vertaamalla on mahdollista löytää säännölliset vastineet vain niin monelle vokaalille kuin löytyy kummastakin (tai jokaisesta) vertailtavasta kielestä. Pääsääntöisesti vertailu tavoittaa siis vain sen määrän distinktiivisiä yksiköitä kuin löytyy siitä kielestä, jossa yksikköjen lukumäärä on pienin. Tämän vertailevan menetelmän rajoituksen ylitettyäni esitänkin lopputyössäni kantauraliin kahta uutta vokaalia, jotka vastaavat uralistiikassa vanhastaan tunnettuja redusoituneita vokaaleja (etinen ja takainen labiaalisuudeltaan redusoitunut vokaali). Tarkastelussani perustelen myös, miksi äännetaso on luotettavin murteutumisen osoittaja ja että äänteellisin perustein ei ole löydettävissä tukea samojedihaaran varhaiselle erolle muun kielikunnan yhteydestä; pikemminkin samojedi jakaa eräitä äänteellisiä uudennoksia (sekä vokaaliston että konsonantiston osalta) ugrilaisten kielten kanssa. Lisäksi toisin kuin on perinteisesti ajateltu, yhteisen sanaston lukumäärä ei voi aukottomasti todistaa varhaisesta diakronisesta kuilusta kielihaarojen välillä: sanastoeroille on löydettävissä muitakin mahdollisia selityksiä, kuten vaikkapa tiiviit kielikontaktit. Sen sijaan äännetasoa voidaan pitää luotettavana silloin kun useat kielikuntaa jakavat äänteelliset isoglossit osuvat samaan kohtaan. Tällä perusteella näyttää alustavasti siltä, että varhaisin kantauralin jälkeinen murreraja osuisi suomalais-permiläisten ja ugrilais-samojedilaisten kielten väliin.