A Type-Preserving Compiler from System F to Typed Assembly Language

L'utilisation des méthodes formelles est de plus en plus courante dans le développement logiciel, et les systèmes de types sont la méthode formelle qui a le plus de succès. L'avancement des méthodes formelles présente de nouveaux défis, ainsi que de nouvelles opportunités. L'un des défis est d'assurer qu'un compilateur préserve la sémantique des programmes, de sorte que les propriétés que l'on garantit à propos de son code source s'appliquent également au code exécutable. Cette thèse présente un compilateur qui traduit un langage fonctionnel d'ordre supérieur avec polymorphisme vers un langage assembleur typé, dont la propriété principale est que la préservation des types est vérifiée de manière automatisée, à l'aide d'annotations de types sur le code du compilateur. Notre compilateur implante les transformations de code essentielles pour un langage fonctionnel d'ordre supérieur, nommément une conversion CPS, une conversion des fermetures et une génération de code. Nous présentons les détails des représentation fortement typées des langages intermédiaires, et les contraintes qu'elles imposent sur l'implantation des transformations de code. Notre objectif est de garantir la préservation des types avec un minimum d'annotations, et sans compromettre les qualités générales de modularité et de lisibilité du code du compilateur. Cet objectif est atteint en grande partie dans le traitement des fonctionnalités de base du langage (les «types simples»), contrairement au traitement du polymorphisme qui demande encore un travail substantiel pour satisfaire la vérification de type.

Le genre grammatical dans le lexique mental du bilingue roumain-français

Mémoire par article

El factor edad en la adquisición del español como lengua extranjera : análisis comparativo entre estudiantes de sexto grado de primaria y universitarios sobre el uso del par preposicional a/ en

Résumé L’hypothèse de la période critique, émise par Lenneberg dans les années 60, affirmait qu’un enfant pouvait acquérir une langue seconde, sans difficulté, environ jusqu’à l’âge de la puberté. Après cette période, l’apprentissage d’un autre idiome serait difficile, dû à la latéralisation du cerveau. En même temps, les travaux de Chomsky enrichirent cette théorie avec l’idée de la Grammaire universelle, laquelle établit que nous possédons tous, dès la naissance, les éléments linguistiques universels qui nous permettent d’acquérir une langue maternelle. Tant que la Grammaire universelle est active, notre langue maternelle se développe et c’est pourquoi, si nous apprenons une autre langue pendant cette période, l’acquisition de celle-ci se produit de manière presque naturelle. Pour cette raison, plus une langue est apprise tôt, plus elle sera maîtrisée avec succès. En nous appuyant sur ce cadre théorique ainsi que sur l’Analyse d’erreurs, outil qui permet au professeur de prédire quelques erreurs avec la finalité de créer des stratégies d’apprentissage d’une langue seconde, nous tenterons de vérifier dans le présent travail si l’âge est un facteur qui influence positivement ou négativement l’apprentissage d’une langue seconde, l’espagnol dans ce cas-ci, par le biais de l’analyse comparative des prépositions a/ en dans deux groupes d’étudiants différents.

Les procédés scripturaux des salons de clavardage (en français, en anglais et en espagnol) chez les adolescents et les adultes

L’un des aspects les plus percutants des avancées de la technologie des quinze dernières années a trait à la communication médiée par ordinateur : clavardage, messagerie instantanée, courrier électronique, forums de discussion, blogues, sites de réseautage social, etc. En plus d’avoir eu un impact significatif sur la société contemporaine, ces outils de communication ont largement modifié les pratiques d’écriture. Notre objet d’étude est le clavardage en groupe qui offre la possibilité aux scripteurs de communiquer simultanément entre eux. Cet outil de communication présente deux caractéristiques importantes aux plans discursif et communicationnel. Premièrement, on admet de façon générale que le clavardage est une forme de communication hybride : le code utilisé est l’écrit, mais les échanges de messages entrent dans une structure de dialogue qui rappelle l’oral. Deuxièmement, le caractère spontané du clavardage impose la rapidité, tant pour l’encodage que pour le décodage des messages. Dans le cadre d’une étude comparative réalisée sur les pratiques scripturales des clavardeurs francophones (Tatossian et Dagenais 2008), nous avons établi quatre catégories générales pour rendre compte de toutes les variantes scripturales de notre corpus : procédés abréviatifs, substitutions de graphèmes, neutralisations en finale absolue et procédés expressifs. Nous voulons maintenant tester la solidité de notre typologie pour des langues dont le degré de correspondance phonético-graphique diffère. En vertu de l’hypothèse de la profondeur de l’orthographe (orthographic depth hypothesis [ODH]; Katz et Frost 1992) selon laquelle un système orthographique transparent (comme l’italien, l’espagnol ou le serbo-croate) transpose les phonèmes directement dans l’orthographe, nous vérifierons si nos résultats pour le français peuvent être généralisés à des langues dont l’orthographe est dite « transparente » (l’espagnol) comparativement à des langues dont l’orthographe est dite « opaque » (le français et l’anglais). Pour chacune des langues, nous avons voulu répondre à deux question, soit : 1. De quelle manière peut-on classifier les usages scripturaux attestés ? 2. Ces usages graphiques sont-ils les mêmes chez les adolescents et les adultes aux plans qualitatif et quantitatif ? Les phénomènes scripturaux du clavardage impliquent également l’identité générationnelle. L’adolescence est une période caractérisée par la quête d’identité. L’étude de Sebba (2003) sur l’anglais démontre qu’il existe un rapport entre le « détournement de l’orthographe » et la construction identitaire chez les adolescents (par ex. les graffitis, la CMO). De plus, dans ces espaces communicationnels, nous assistons à la formation de communautés d’usagers fondée sur des intérêts communs (Crystal 2006), comme l’est la communauté des adolescents. Pour la collecte des corpus, nous recourrons à des échanges effectués au moyen du protocole Internet Relay Chat (IRC). Aux fins de notre étude, nous délimitons dans chacune des langues deux sous-corpus sociolinguistiquement distincts : le premier constitué à partir de forums de clavardage destinés aux adolescents, le second à partir de forums pour adultes. Pour chacune des langues, nous avons analysé 4 520 énoncés extraits de divers canaux IRC pour adolescents et pour adultes. Nous dressons d’abord un inventaire quantifié des différents phénomènes scripturaux recensés et procédons ensuite à la comparaison des résultats.

La identidad autóctona y el aprendizaje del español como segunda lengua en comunidades indígenas de Hispanoamérica : el caso de Ecuador

Cette recherche se construit autour d’un travail de terrain réalisé dans trois communautés autochtones quichuas vivant au nord de l’Équateur. Il prétend étudier l’incidence que devrait avoir la diversité culturelle et linguistique dans les politiques éducatives en milieu plurilingue et multiculturel. En Amérique hispanique, l’éducation des peuples autochtones n’a jamais été très attentive à leurs besoins spécifiques en ce qui a trait à l’apprentissage de l’espagnol comme langue seconde. En effet, les motivations des apprenants, plus instrumentales qu’intégratives, prouvent que les autochtones apprennent la langue espagnole presqu’exclusivement pour communiquer, sans vraiment être intéressés au groupe natif de cette langue. De plus, notre recherche sur le terrain avec les apprenants du peuple Otavalo nous a démontré que leur très forte identification ethnique influence l’acquisition de l’espagnol. D’une part, ils sont plus enclins à se distinguer des autres, spécialement des hispano parlants, et de l’autre, ils réussissent plus difficilement à atteindre une compétence élevée dans la langue seconde. Notre recherche conclut donc que l’éducation, qu’elle soit issue du système national ou bilingue, devrait davantage prendre en considération l’identité ethnolinguistique des nombreux enfants indigènes, afin de ne pas préjudicier leurs droits. Ceci permettrait de favoriser un apprentissage positif et significatif de l’espagnol comme langue seconde ou langue maternelle, mais tout en consolidant l’identité autochtone des apprenants.

Traduction statistique vers une langue à morphologie riche : combinaison d’algorithmes de segmentation morphologique et de modèles statistiques de traduction automatique

Les systèmes statistiques de traduction automatique ont pour tâche la traduction d’une langue source vers une langue cible. Dans la plupart des systèmes de traduction de référence, l'unité de base considérée dans l'analyse textuelle est la forme telle qu’observée dans un texte. Une telle conception permet d’obtenir une bonne performance quand il s'agit de traduire entre deux langues morphologiquement pauvres. Toutefois, ceci n'est plus vrai lorsqu’il s’agit de traduire vers une langue morphologiquement riche (ou complexe). Le but de notre travail est de développer un système statistique de traduction automatique comme solution pour relever les défis soulevés par la complexité morphologique. Dans ce mémoire, nous examinons, dans un premier temps, un certain nombre de méthodes considérées comme des extensions aux systèmes de traduction traditionnels et nous évaluons leurs performances. Cette évaluation est faite par rapport aux systèmes à l’état de l’art (système de référence) et ceci dans des tâches de traduction anglais-inuktitut et anglais-finnois. Nous développons ensuite un nouvel algorithme de segmentation qui prend en compte les informations provenant de la paire de langues objet de la traduction. Cet algorithme de segmentation est ensuite intégré dans le modèle de traduction à base d’unités lexicales « Phrase-Based Models » pour former notre système de traduction à base de séquences de segments. Enfin, nous combinons le système obtenu avec des algorithmes de post-traitement pour obtenir un système de traduction complet. Les résultats des expériences réalisées dans ce mémoire montrent que le système de traduction à base de séquences de segments proposé permet d’obtenir des améliorations significatives au niveau de la qualité de la traduction en terme de le métrique d’évaluation BLEU (Papineni et al., 2002) et qui sert à évaluer. Plus particulièrement, notre approche de segmentation réussie à améliorer légèrement la qualité de la traduction par rapport au système de référence et une amélioration significative de la qualité de la traduction est observée par rapport aux techniques de prétraitement de base (baseline).

Étude de l’appropriation de l’orthographe française langue seconde/étrangère d’élèves arabophones du secondaire en Égypte

La présente recherche vise à décrire le développement orthographique des élèves arabophones de 1re année du secondaire en Égypte au début de l’apprentissage du français langue étrangère. Les recherches égyptiennes qui concernent le français écrit se sont préoccupées des erreurs grammaticales commises par les élèves. À notre connaissance, il n’existe pas d’études relatives à l’appropriation de l’orthographe française menée auprès de ces élèves. Afin de combler ce vide, nous avons souhaité apporter un éclairage sur les compétences orthographiques des élèves en essayant d’éclairer la documentation de ces compétences en français écrit par la mise en relation avec celle de jeunes enfants arabophones qui apprennent le français L2 au préscolaire lors de leur séjour au Québec. Afin d’atteindre nos objectifs, nous avons soumis 30 élèves arabophones du secondaire à une épreuve d’orthographes approchées à quatre reprises. Celle-ci s’est déroulée dans le cadre d’un entretien semi-structuré individuel dans lequel les élèves ont été invités à produire des mots et une phrase. L’analyse descriptive et statistique de la production écrite des sujets a permis d’observer trois types de préoccupations écrites : visuographiques, phonologiques et orthographiques. D’autre part, leurs écrits ont témoigné d’un transfert langagier de l’arabe L1 et de l’anglais LE, qui était parfois positif, d’autres fois négatif. Les résultats ont, enfin, révélé que les élèves ont utilisé trois stratégies, lexicale, phonologique et analogique, lors de leurs productions. En outre, une étude de cas multiples exploratoire avec quatre enfants arabophones du préscolaire au Québec a été effectuée. Ces derniers ont été individuellement invités à produire des mots et une phrase en français et en arabe. De manière exploratoire, nous avons mis en relation l’appropriation de l’écrit des élèves du secondaire et celle des enfants du préscolaire en français et en arabe, ce qui nous a permis de vérifier l’effet de l’âge sur le développement orthographique et sur le transfert langagier chez les apprenants. Les résultats obtenus indiquent que la performance écrite des élèves du secondaire était significativement plus réussie que celle des enfants du préscolaire et que les premiers étaient les plus susceptibles de produire un transfert langagier. Ainsi, l’âge de l’apprenant peut avoir un impact sur l’appropriation de l’écrit ainsi que sur le transfert langagier en français langue seconde/étrangère. Finalement, au-delà de son apport scientifique et pratique, la présente recherche propose des pistes de recherches futures.

El habla de la comunidad cubana en Montreal

Ce travail contient une première caractérisation générale du discours de la communauté cubaine à Montréal, avec une attention particulière sur deux aspects: le comportement de certains traits qui caractérisent l'espagnol de Cuba chez les locuteurs migrants, et les possibles variations produites par le contact linguistique. Pour ce faire, nous utilisons les données d'un corpus élaboré par la chercheuse à partir de conversations semi-dirigées enregistrées (registre colloquial) avec 19 Cubains: dix hommes et neuf femmes vivant à Montréal. L'analyse des données nous permet de vérifier que les traits caractéristiques étudiés se sont conservés dans le discours des Cubains résidants dans la ville, mais quelques variations se sont produites, provoquées par le contact avec les langues dominantes (français-espagnol, et moins en anglais-espagnol) et d'autres variétés de l'espagnol, ainsi qu’avec une réalité socio-économique, politique et culturelle très différente de celle d’origine. Les variations morphosyntaxiques ont été détectées principalement dans les mots invariables (prépositions). Au niveau lexico-sémantique, nous avons trouvé essentiellement des emprunts lexicaux. Il existe également des prêts sémantiques, des calques et des changements de fréquence de certains mots. Concernant le niveau pragmatique, nous avons remarqué un ralentissement du rythme dans les conversations de l'échantillon qui pourrait être dû à la situation du bilinguisme fonctionnel. En résumé, le discours des Cubains participants dans cette étude montre quelques-uns des traits caractéristiques à toute situation de contact de langues, mais aussi des particularités relatives aux caractéristiques de la communauté étudiée (les attitudes linguistiques, par exemple), à la distance typologique entre les langues impliquées (espagnol et français) et au contraste entre les sociétés d’origine et d’accueil, entre autres.

Preface : A Threshold to the Work at Hand

The paratext framework is now used in a variety of fields to assess, measure, analyze, and comprehend the elements that provide thresholds, allowing scholars to better understand digital objects. Researchers from many disciplines revisit paratextual theories in order to grasp what surrounds text in the digital age. Examining Paratextual Theory and its Applications in Digital Culture suggests a theoretical and practical tool for building bridges between disciplines interested in conducting joint research and exploration of digital culture. Helping scholars from different fields find an interdisciplinary framework and common language to study digital objects, this book serves as a useful reference for academics, librarians, professionals, researchers, and students, offering a collaborative outlook and perspective.

Frequent translation strategies used by Iranian translators in subtitles to translate metaphors

En tant que moyen de communication qui détermine les structures de base des langues, la métaphore se classe parmi les enjeux les plus importants du domaine de la traductologie, d’où la complexité de la rendre traduisible. La nature indirecte de la métaphore étant problématique, celle-ci exige une étude approfondie, surtout vis-à-vis le transfert de la culture d’une langue à une autre. Un survol de la littérature académique traitant des théories et des approches différentes en traductologie révèle une façon de rendre possible la traduction de la métaphore. Cette étude traite de la traduction des métaphores du perse aux sous-titres anglais. Elle indique également les approches et les stratégies appliquées à la traduction des expressions linguistiques métaphoriques telles que proposées par Newmark (1988). En se fondant sur des exemples authentiques tirés des textes sources (deux films perses bien connus) et leurs traductions anglaises, cette étude démontre la façon dont certains traducteurs iraniens traduisent des expressions métaphoriques en se servant d’une des sept stratégies proposées par Newmark. Elle explique également comment certains éléments (par ex. les difficultés de la traduction) ont été influents sur leurs conclusions, tout en soutenant l’hypothèse que la reproduction d’une même image d’une langue source dans une langue cible ainsi que l’effacement sont respectivement la plus fréquente et la moins fréquente des stratégies employées par les sous-titreurs iraniens.

Sí, señor, soy colombiana de pura cepa, et toi? : las formas de tratamiento del español colombiano en Montreal

Le présent travail décrit –pour la première fois– l’état actuel de la langue espagnole parlée par la communauté colombienne à Montréal sur les formes de s’adresser aux autres en langage pronominal ou nominal et la courtoisie verbale. Dans le but de réaliser cette étude, un travail de terrain a été effectué à l’aide d’un questionnaire et des entrevues orales semi-dirigées adressés à 30 informateurs. L’analyse des données, nous a permis d’établir quelques premières comparaisons entre la façon de parler des habitants de la Colombie et des Colombiens résidant à Montréal et d’identifier quelques-uns des changements linguistiques principaux dans cette communauté parlante, notamment, les variations reliées aux formes de s’adresser aux autres et aux actes de courtoisie affectés par l’influence du français et de l’anglais. L’analyse effectuée tient compte autant les aspects linguistiques, pragmatiques et sociaux que les attitudes linguistiques des interviewés. De cette façon, les résultats mettent en lumière une nouvelle description sur la dynamique de l’usage des formes de s’adresser aux autres de locuteurs originaires de trois zones dialectales représentatives de la Colombie : la région andine orientale, la région andine occidentale et la zone côtière du Caraïbe. Ensemble avec d’autres études précédentes sur la formes de s’adresser aux autres, ce travail constitue une meilleure compréhension de la réalité linguistique de l’espagnol des Colombiens unilingues, bilingues et trilingues.

Bodies, stories, cities : learning to read and write (in) Montréal with Gail Scott

Cette lecture, tant critique, comparative, et théorique que pédagogique, s’ancre dans le constat, premièrement, qu’il advient aux étudiantEs en littérature de se (re)poser la question des coûts et complicités qu’apprendre à lire et à écrire présuppose aujourd’hui; deuxièmement, que nos pratiques littéraires se trament au sein de lieux empreints de différences, que l’on peut nommer, selon le contexte, métaphore, récit, ville; et, troisièmement, que les efforts et investissements requis sont tout autant couteux et interminable qu’un plaisir et une nécessité politique. Ces conclusions tendent vers l’abstrait et le théorique, mais le langage en lequel elles sont articulées, langage corporel et urbain, de la dépendance et de la violence, cherche d’autant plus une qualité matérielle et concrète. Or, l’introduction propose un survol des lectures et comparaisons de Heroine de Gail Scott qui centre ce projet; identifie les contextes institutionnels, historiques, et personnels qui risquent, ensuite, de décentrer celui-ci. Le premier chapitre permet de cerner le matérialisme littéraire qui me sert de méthode par laquelle la littérature, à la fois, sollicite et offre une réponse à ces interrogations théoriques. Inspirée de l’œuvre de Gail Scott et Réjean Ducharme, premièrement, et de Walter Benjamin, Elisabeth Grosz, et Pierre Macherey ensuite, ‘matérialisme’ fait référence à cette collection de figures de pratiques littéraires et urbaines qui proviennent, par exemple, de Georges Perec, Michel DeCerteau, Barbara Johnson, et Patricia Smart, et qui invitent ensuite une réflexions sur les relations entre corporalité et narrativité, entre la nécessité et la contingence du littéraire. De plus, une collection de figures d’un Montréal littéraire et d’une cité pédagogique, acquis des œuvres de Zygmunt Bauman, Partricia Godbout, et Lewis Mumford, constitue en effet un vocabulaire nous permettant de mieux découvrir (et donc enseigner) ce que lire et apprendre requiert. Le deuxième chapitre propose une lecture comparée de Heroine et des romans des auteures québécoises Anne Dandurand, Marie Gagnon, et Tess Fragoulis, dans le contexte, premièrement, les débats entourant l’institutionnalisation de la littérature (anglo)Québécoise et, deuxièmement, des questions pédagogiques et politiques plus larges et plus urgentes que nous pose, encore aujourd’hui, cette violence récurrente qui s’acharna, par exemple, sur la Polytechnique en 1989. Or, cette intersection de la violence meurtrière, la pratique littéraire, et la pédagogie qui en résulte se pose et s’articule, encore, par le biais d’une collection de figures de styles. En fait, à travers le roman de Scott et de l’œuvre critique qui en fait la lecture, une série de craques invite à reconnaître Heroine comme étant, ce que j’appelle, un récit de dépendance, au sein duquel se concrétise une temporalité récursive et une logique d’introjection nous permettant de mieux comprendre la violence et, par conséquent, le pouvoir d’une pratique littéraire sur laquelle, ensuite, j’appuie ma pédagogie en devenir. Jetant, finalement, un regard rétrospectif sur l’oeuvre dans son entier, la conclusion de ce projet se tourne aussi vers l’avant, c’est-à-dire, vers ce que mes lectures dites matérialistes de la littérature canadienne et québécoise contribuent à mon enseignement de la langue anglaise en Corée du Sud. C’est dans ce contexte que les propos de Jacques Rancière occasionnent un dernier questionnement quant à l’historique des débats et des structures pédagogiques en Corée, d’une part, et, de l’autre, les conclusions que cette lecture de la fiction théorique de Gail Scott nous livre.

Étude des relations entre productivité et polysémie dans les processus de formation de mots : le cas de l’espagnol

Ce mémoire s’intéresse aux processus de formation de mots. Nous postulons que les notions de productivité et de polysémie guident les locuteurs dans la sélection des procédés de formation de mots. Afin de vérifier notre hypothèse, nous avons porté nos observations sur un répertoire de mots suffixés de l’espagnol, le « Diccionario de los sufijos de la lengua española (DISULE) » de Faitelson-Weiser (2010, cf. www.sufijos.lli.ulaval.ca ). Nous avons évalué les degrés de productivité et de polysémie de chaque segment identifié comme étant un suffixe. Nous avons ensuite mis en relation les valeurs obtenues pour chacune des propriétés. Cette démarche, que nous avons testée, reconnaît le morphème comme unité d’analyse, ce qui se correspond au modèle grammatical Item et arrangement (Hockett, 1954). Bien que le résultat de nos analyses ne nous permette pas d’établir des corrélations fortes entre les deux variables pour l’ensemble des suffixes, lorsque nous délimitons des contextes de concurrence spécifiques, nous pouvons constater que les relations entre productivité et polysémie suivent des patrons spécifiques à ceux-ci. En outre, nous remarquons que le modèle adopté est plus efficace dans la description de la polysémie que pour expliquer la productivité; ce qui nous amène à nous questionner sur la pertinence de l’opposition établie entre mot et morphème en tant qu’unités d’analyse. Nous concluons que les deux notions sont essentielles en morphologie.

Approche cognitive de la traduction dans les langues de spécialité : vers une systématisation de la description de la conceptualisation métaphorique

Département de linguistique et de traduction

La Guerre civile espagnole : l'influence du Québec sur les politiques du gouvernement fédéral

La politique extérieure canadienne en regard de la Guerre civile espagnole fut adoptée en juillet 1937. Le gouvernement canadien adopta une politique de neutralité analogue à celle pilotée par la Grande-Bretagne à travers le Comité de non-intevention. Il promulgua un embargo sur l’exportation d’armes de toutes sortes sur le territoire espagnol, et ce, aux deux belligérants. De plus, avec la Loi sur l’enrôlement à l’étranger, Ottawa criminalisa l’engagement volontaire sur toutes ses formes, plus particulièrement le Bataillon Mackenzie – Papineau, ramification canadienne des Brigades Internationales. Au Québec, cette guerre fut fortement ressentie. Les élites traditionnelles et le clergé catholique anathématisent le Front Populaire espagnol en l’assimilant au communisme soviétique, et se solidarisent avec leurs coreligionnaires espagnols. Selon Ernest Lapointe, bras droit de Mackenzie King au Québec, Ottawa doit tenir compte du courant conservateur chez les Québécois francophones afin de prévenir une crise domestique pouvant avoir des conséquences sur l’unité nationale. Mais la politique étrangère du Canada à l’égard du gouvernement républicain espagnol n’a que partiellement été influencée par la réaction clérico-nationaliste au Québec. Elle est bien davantage le résultat de l’alignement du Canada sur la politique étrangère britannique.