Compiling Exceptions Correctly

Exceptions are an important feature of modern programming languages, but their compilation has traditionally been viewed as an advanced topic. In this article we show that the basic method of compiling exceptions using stack unwinding can be explained and verified both simply and precisely, using elementary functional programming techniques. In particular, we develop a compiler for a small language with exceptions, together with a proof of its correctness.

As vicissitudes do espaço urbano moderno ou o menino e a água do banho

Tese de Doutoramento em Arquitetura, com a especialização em Teoria e Prática do Projecto, apresentada na Faculdade de Arquitetura da Universidade de Lisboa, para obtenção do grau de Doutor.

All Is not English that Glitters: False Anglicisms in the Spanish Language of Sports

Over the past decades, many studies have dealt with Anglicisms in Spanish, not only in science and technology, but also in other areas such as business, fashion and even sports. However, in spite of the large number of works on Spanish Anglicisms in sports, these have often disregarded the distinction between Anglicisms and false Anglicisms. Given their importance as evidence of the particular relationships between languages, this article focuses on the use of false Anglicisms in the Spanish language of sports, which has not only adopted English words giving them new meanings and usage, but has also either imported items with an English appearance from other languages or created its own forms based on English patterns. Although these false Anglicisms, which have proven extremely popular in various European languages (not only Spanish), have frequently been used and disseminated, as some examples will prove, little attention has been paid to their differences with the English term or their non-English origin.

Something to talk about: Content and Language Integrated Learning in Modern Languages in British Higher Education. A case study of German at Aston University

This thesis investigates Content and Language Integrated Learning (CLIL) in German undergraduate programmes in the UK. At its core is a study of how one German department integrates the teaching of language and content in its undergraduate programmes and how instructors and students experience this approach. This micro-context is embedded in the wider macro-context of UK Higher Education and subject to outside forces - be they political, economic, socio-cultural - whose effects will manifest in more or less obvious ways. Data was collected via an online survey of Heads of German at British universities to determine the status quo of CLIL in UK Higher Education and to investigate how certain institutional parameters determine the introduction of CLIL in Higher Education. This project employs a mixed-method case study approach and is based on student questionnaires and semi-structured interview with German teaching staff. The study brings to light a number of significant aspects. For example, contrary to popular belief, content provision in the L2 is rather common at British universities, which is currently not reflected in the research. Student data indicates that German students perceive clear advantages in the university’s approach to CLIL. They consider German-taught content classes challenging yet beneficial for their language development. Staff interviews have yielded intriguing information about perceived advantages and disadvantages of CLIL, about its implications for classroom practice, and about instructors’ attitude towards teacher training, which echo findings from similar investigations in European contexts. Finally, the results of the macro-analysis and the case study are compared and contrasted with findings from European research on ICLHE/CLIL to determine differences and similarities with the British context, a set of recommendations is made regarding CLIL practice at the case study institution, and some implications these indings may have for the future of CLIL in British higher education are discussed.

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.

Promoting the European Union : Attitudinal stance adjectives in three genres of EU communication to the public

Målet för Pro Gradu-avhandlingen är att undersöka hur Europeiska unionen (EU) marknadsförs genom användningen av värderande adjektiv i tre genrer av skriftlig kommunikation från EU till medlemsstaternas medborgare. Undersökningen är inriktad på tre forskningsfrågor: hur marknadsföringen av EU syns i användningen av värderande adjektiv i de tre genrerna, vilka de centrala skillnaderna mellan de tre genrerna är gällande användningen av värderande adjektiv, samt på vilket sätt texterna uppfyller sitt kommunikativa syfte, nämligen att informera allmänheten om EU:s verksamhet och marknadsföra EU som en giltig och handlingskraftig union. Den teoretiska ramen för undersökningen grundar sig på genreanalys, kommunikationsteori och teorier om hur författarens värdering (stance) syns i texter. Skillnaden mellan genre, texttyp och register diskuteras, och teoridelen redogör även för begreppet diskurssamfund, dvs. den grupp personer som i ett yrkesmässigt eller institutionellt sammanhang producerar och använder sig av en genre enligt dess kommunikativa konventioner. Materialet behandlas även utgående från Egon Werlichs indelning av texttyper i deskriptiva, narrativa, expositära, argumentativa och instruktiva texter. Materialet består av tre delar som representerar var sin genre: informationsbroschyrer, pressmeddelanden och den Allmänna rapporten om Europeiska unionens verksamhet, som utges av EU varje år. Storleken på varje del av materialet varierar mellan 20 000 - 30 000 ord. Materialet har valts på basis av de teman texterna behandlar, och kriterierna för urvalet är bl.a. att texterna behandlar ämnen som har anknytning till medborgarnas vardag, att de är riktade till allmänheten, och att de finns tillgängliga på Internet. Undersökningen är genomförd som en kvalitativ genreanalys. Materialet analyseras först utgående från kontexten och det samhälleliga sammanhanget enligt Vijay K. Bhatias metodik för analys av obekanta genrer. Det kommunikativa syftet, författaren och den tilltänkta läsarkretsen, dvs. målgruppen för kommunikationen, fastställs. Värderande adjektiv som uttrycker författarens hållning har plockats ur texten manuellt och med hjälp av konkordansprogrammet AntConc, och placerats i 16 kategorier enligt de värden de uttrycker. Varje genre analyseras sedan språkligt med utgångspunkt i adjektivlistorna, varefter resultaten jämförs med varandra. Undersökningen visar att pressmeddelandena innehåller det största antalet värderande adjektiv, medan informationsbroschyrerna innehåller det minsta antalet värderande adjektiv. Den Allmänna rapporten om Europeiska unionens verksamhet innehåller delar med tätt förekommande värderande adjektiv, i synnerhet i stycken som behandlar mer kontroversiella ämnen. I alla tre genrer sammanfaller ett högt antal värderande adjektiv med argumentativ text, och argumentativ text förekommer främst då ämnet som diskuteras rör sig på en mer abstrakt nivå, t.ex. om EU:s värderingar och grundläggande principer, eller då texten behandlar sådan politik som delar allmänhetens uppfattning. För EU utgör alla tre genrer viktiga kanaler för kommunikationen till medlemsstaternas medborgare, och EU kan genom sitt informationsmaterial och sina officiella publikationer informera om, förklara och marknadsföra sin verksamhet på ett sätt som avser att upprätthålla och förbättra EU:s image. Utarbetandet av lämpliga texter är ändå krävande på grund av den heterogena målgruppen, och det är en utmaning i sig att få fram rätt budskap bland det stora utbudet information som finns tillgängligt på Internet.

Celtic languages in European Higher Education: CRAMLAP - Celtic, Regional and Minority Languages Abroad Project

The Celtic, Regional and Minority Languages Abroad
Project (CRAMLAP) is funded by the European Commission
to research the provision and pedagogy of regional
and minority languages outside their national borders in
Europe. The teaching of Celtic languages across Europe
was the focus in year one (2003-2004). This article summarizes
the qualitative data received in response to
questionnaires sent to institutions across Europe offering
Celtic Studies. Responses indicated that Celtic Studies
are quite widely available across Europe. The languages
are taught in comparative linguistics, linguistics and English
departments, with few dedicated Celtic departments
or sections outside the Celtic countries. Irish is supported
abroad by Irish government grant aid which will
become more widely available in the immediate future.
Many of the teachers have considerable experience, but
limited pedagogic training. The lack of suitable teaching
resources is the most commonly expressed concern.