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.

The Broken "I" : fragmentation of self and otherness in modern urban narratives

Ce mémoire mélange théorie et fiction pour explorer la technique narrative du “nous” performatif. Le premier chapitre démontre le role du discours dans le processus de formation d’identité, pour éventuellement démontrer que la nature performative du langage est responsable de la creation des constructions sociales du soi et de l’autre. En étudiant les failles de ce système, cet essai tentera de créer une entité narrative libre de ces contraintes. Un second chapitre théorique, après des exemples de fiction, se penchera sur l’entité narrative du flâneur, qui à travers sa relation intime avec la cité, souligne une dichotomie présente dans la relation entre le soi et l’autre. Le flâneur emergera comme un site de traduction dans lequel le “nous” performatif peut prendre action. Toutefois, les limites du flâneur en tant qu’outil narratif l’empêchera d’être la representation ultime de cette dichotomie. Après d’autres exemples de fiction, un troisième chapitre combinera ce qui aura été apprit dans les chapitres précédents pour démontrer que le “nous” performatif et sa dissolution du “je” et du “tu” mène à une narration qui est responsable, consciente d’elle-même et représentative de la réalité urbaine moderne et ses effets sur la création de l’identité.

An ethnolinguistic study of the Yanesha’ (Amuesha) language and speech community in Peru’s Andean Amazon, and the traditional role of Ponapnora, a female rite of passage

Thesis written in co-mentorship with Richard Chase Smith Ph.D, of El Instituto del Bien Comun (IBC) in Peru. The attached file is a pdf created in Word. The pdf file serves to preserve the accuracy of the many linguistic symbols found in the text.

Adopter Tchekhov : étude sociolinguistique de trois traductions québécoises d'Oncle Vania (1983-2001)

Réalisé en codirection avec Hélène Buzelin

Social Opportunities and Individual Responsibility: The Capability Approach and the Third Way

The fashionable widespreading of Sen’s ideas coincides with a new mood in the shaping of public policies in affluent societies. In Europe indeed, an “opportunity”-based approach to social security has been implemented through the European Employment Strategy. Public action tends to rely on a procedural concern with individual opportunities or potentialities in the labour market. The underlying ethics is that individuals are then responsible to use these background opportunities in order to lead the kind of life they value most. More broadly, the discourse and practice of the so-called “Third Way” shares with the capability approach an appeal for a procedural and enabling depiction of the role of the State. The paper intends to clarify the relation between procedural and opportunity-based approaches to social justice, among them the capability approach, and these new patterns of public action. Our vision goes in the way of a yet renewed, but deeper action of the welfare state, where social agency is envisaged as the very condition of individual agency. Drawing on the various critics of mainstream equality of opportunity, two opposed approaches to responsibility are identified: on the one hand, responsibility is conceived of as i) a “luck vs. choice” fixed starting point, ii) a backward-looking conception and iii) a highly individualistic framework. On the other hand, responsibility is envisaged as i) an outcome of public policies rather than a starting point, ii) a forward-looking conception, and iii) a combined institutional-individual framework. We situate here Sen’s capability approach, as well as critics of the luck egalitarianism path. The Third Way rhetoric is assessed against both these perspectives. The issue eventually boils down to an ethical reflection on the articulation of responsibilities, and to a pragmatic and substantial concern for the content of what providing security should mean in practice.

La pronunciación de ELE en los alumnos quebequenses : dificultades concretas y pautas de corrección

Mon sujet de recherche traite sur la prononciation de l'espagnol comme langue étrangère chez les élèves québécois, sur leurs difficultés concrètes et lignes de correction qui peuvent leur être attribuées. Dans une première partie plus générale, nous traiterons sur l'enseignement de la prononciation, de la place qu'elle occupe dans l'enseignement d'une langue étrangère. Nous croyons que la prononciation est un aspect de la langue qui a été mis de côté pour mettre en valeur la communication. Si une "mauvaise" prononciation n'entrave pas à la compréhension ou à la communication, elle n'est pas corrigée ni travaillée. Nous pouvons donc nous retrouver avec des étudiants ayant un haut niveau d'espagnol mais dont la prononciation connaît certaines lacunes. Nous déterminerons également ce que nous entendons par "meilleure" ou "mauvaise" prononciation, nous nous interrogerons également sur la pertinence de l'enseignement de la phonétique. Nous nous poserons aussi la question sur la place de la prononciation selon la méthodologie didactique utilisée, et analyserons la quantité et qualité des exercices de prononciation présents ou pas dans les manuels scolaires, et s'ils correspondent aux exigences des documents officiels tels le Cadre commun européenne de référence, ou le Plan curricular de l'institut Cervantès. Dans une deuxième partie nous nous questionnons sur les facteurs qui conditionnent l'apprentissage d'une langue et le perfectionnement de la prononciation dans une langue étrangère, car nous croyons que peut importe l'âge de l'étudiant, il y a toujours place à l'amélioration dans la prononciation. Nous nous interrogeons ensuite sur les tendances générales des francophones lors de leur prononciation de l'espagnol, nous ferons une étude contrastive des phonèmes espagnols et français, puis nous étudierons plus en détail les tendances des élèves québécois, car nous croyons que ces derniers sont dotés de certains atouts en comparaison à d'autres francophones. Dans une troisième partie, nous proposons des exercices visant à améliorer la prononciation chez nos élèves, et afin de vérifier l'efficacité de ces exercices, nous enregistrerons des étudiants ayant bénéficié de ces exercices, et d'autres qui n'y auront pas eu droit. Cette étude comparative cherche à prouver que ces exercices aident réellement et qu'ils, ou d'autres exercices de ce genre, devraient être inclus dans l'enseignement. Le questionnaire dont il s'agit s'attarde principalement au phénomène du [r], que nous croyons être un, ou le son le plus difficile à prononcer en espagnol (autant la vibrante simple comme multiple). Bien entendu, une partie de ce chapitre sera consacrée à l'analyse de résultats.

Vivre au chevet de la mort : une analyse phénoménologique et interprétative de l’expérience spirituelle et existentielle d’infirmières qui accompagnent des patients en fin de vie

La présente thèse poursuit l’objectif global de mieux comprendre comment, dans un contexte socioculturel où la mort est déniée, des soignants arrivent à se préserver psychiquement en faisant quotidiennement face à la réalité existentielle de la finitude. Pour ce faire, nous proposons une exploration détaillée de l’expérience spirituelle et existentielle d’infirmières qui accompagnent des patients en fin de vie. Cette thèse est présentée sous forme de trois articles. Le premier article vise, par une analyse conceptuelle systématique et exhaustive de la littérature empirique, à élaborer une définition intégrative du concept de spiritualité en contexte de fin de vie. La synthèse effectuée a permis de définir le concept de spiritualité comme étant « un processus de développement conscient qui se caractérise par deux mouvements de transcendance; celui d’aller profondément à l’intérieur de soi ou encore au-delà de soi-même. » Le deuxième article a pour but d’exposer une meilleure compréhension (a) de la façon dont les infirmières qui accompagnent des patients en fin de vie gèrent la confrontation quotidienne à la finitude, ainsi que (b) des dimensions spirituelles et existentielles de leur expérience. Des entrevues qualitatives en profondeur ont été menées auprès de 11 infirmières en soins palliatifs. L’analyse phénoménologique et interprétative des données recueillies a permis d’établir une typologie, laquelle fait état de trois modes de régulation psychique dans la confrontation à la finitude : « la mort intégrée », « la mort à combattre » et « la mort-souffrance ». De plus, les résultats de l’analyse suggèrent une relation potentielle entre les mécanismes de régulation psychique des infirmières, leur expérience spirituelle et existentielle personnelle, ainsi que leur mode de régulation intersubjective dans la relation avec les patients. Le troisième article vise pour sa part à décrire les effets d’une intervention d’approche existentielle de groupe sur l’expérience spirituelle et existentielle d’infirmières, tant au niveau personnel que professionnel. Pour ce faire, 10 infirmières ont été rencontrées en entrevues suite à leur participation à une intervention existentielle de groupe. Selon la perspective des infirmières, la participation à l’intervention existentielle leur a permis d’élargir leur conscience spirituelle et existentielle, notamment par une conscience accrue (a) de la finitude, (b) des sources de sens à la vie, (c) du sens de la souffrance, ainsi que (d) par la possibilité d’accéder à un état de gratitude. Les participants ont de plus bénéficié de la fonction « contenante » de l’expérience de groupe, en développant un langage partagé pour discuter des dimensions spirituelle et existentielle de leur expérience et ainsi qu’en éprouvant un sentiment de validation de leur expérience par le partage entre pairs. En conclusion, les résultats de notre analyse soulignent l’importance des différences individuelles dans les mécanismes de régulation psychique impliqués dans la confrontation à la mort chez les infirmières. De plus, le bilan des articles proposés permet de tisser des liens conceptuels cohérents pour supporter la thèse du rôle potentiellement catalyseur de la confrontation à la mort dans le développement de l’expérience spirituelle et existentielle des infirmières qui accompagnent des patients en fin de vie

"Les mille tableaux du réel" : analyse de la perception dans La terre est ici d'Élise Turcotte

Ce mémoire porte sur le recueil de poèmes La terre est ici d’Élise Turcotte. Il s’attache à analyser les modalités par lesquelles le foyer de perception des sujets poétiques engendre un déplacement de la notion de « paysage » dans l’œuvre de Turcotte. Le premier chapitre étudie l’énonciation afin de retracer comment les subjectivités de La terre est ici investissent le langage et construisent le réel qui les entoure pour en donner une perception singulière. Le second chapitre analyse la création de cet espace visuel unique qui se déploie autour de la notion de « détail », tandis que le troisième et dernier chapitre s’intéresse à la remise en cause du statisme de la vision engendrant un « art de faire » qui tend plutôt vers la mise en scène et le mouvement. L’étude de cette scène comme convocation des sujets dans le langage permet de développer la conception de l’espace comme lieu pratiqué, où les multiples perceptions des sujets composent un « paysage » à la fois visuel, tout en donnant lieu à une possibilité d’action.

De la Bretagne au Québec : le succès de Théodore Botrel (1868-1925), chansonnier breton

La version intégrale de ce mémoire est disponible uniquement pour consultation individuelle à la Bibliothèque de musique de l’Université de Montréal (www.bib.umontreal.ca/MU).

Réorganisation fonctionnelle et structurale des cortex auditifs, visuels et associatifs chez les sourds profonds congénitaux ou prélinguaux

En raison de l’utilisation d’un mode de communication totalement différent de celui des entendants, le langage des signes, et de l’absence quasi-totale d’afférences en provenance du système auditif, il y a de fortes chances que d’importantes modifications fonctionnelles et structurales s’effectuent dans le cerveau des individus sourds profonds. Les études antérieures suggèrent que cette réorganisation risque d’avoir des répercussions plus importantes sur les structures corticales situées le long de la voie visuelle dorsale qu’à l’intérieur de celles situées à l’intérieur de la voie ventrale. L’hypothèse proposée par Ungerleider et Mishkin (1982) quant à la présence de deux voies visuelles dans les régions occipitales, même si elle demeure largement acceptée dans la communauté scientifique, s’en trouve aussi relativement contestée. Une voie se projetant du cortex strié vers les régions pariétales postérieures, est impliquée dans la vision spatiale, et l’autre se projetant vers les régions du cortex temporal inférieur, est responsable de la reconnaissance de la forme. Goodale et Milner (1992) ont par la suite proposé que la voie dorsale, en plus de son implication dans le traitement de l’information visuo-spatiale, joue un rôle dans les ajustements sensori-moteurs nécessaires afin de guider les actions. Dans ce contexte, il est tout à fait plausible de considérer qu’un groupe de personne utilisant un langage sensori-moteur comme le langage des signes dans la vie de tous les jours, s’expose à une réorganisation cérébrale ciblant effectivement la voie dorsale. L’objectif de la première étude est d’explorer ces deux voies visuelles et plus particulièrement, la voie dorsale, chez des individus entendants par l’utilisation de deux stimuli de mouvement dont les caractéristiques physiques sont très similaires, mais qui évoquent un traitement relativement différent dans les régions corticales visuelles. Pour ce faire, un stimulus de forme définie par le mouvement et un stimulus de mouvement global ont été utilisés. Nos résultats indiquent que les voies dorsale et ventrale procèdent au traitement d’une forme définie par le mouvement, tandis que seule la voie dorsale est activée lors d’une tâche de mouvement global dont les caractéristiques psychophysiques sont relativement semblables. Nous avons utilisé, subséquemment, ces mêmes stimulations activant les voies dorsales et ventrales afin de vérifier quels pourraient être les différences fonctionnelles dans les régions visuelles et auditives chez des individus sourds profonds. Plusieurs études présentent la réorganisation corticale dans les régions visuelles et auditives en réponse à l’absence d’une modalité sensorielle. Cependant, l’implication spécifique des voies visuelles dorsale et ventrale demeure peu étudiée à ce jour, malgré plusieurs résultats proposant une implication plus importante de la voie dorsale dans la réorganisation visuelle chez les sourds. Suite à l’utilisation de l’imagerie cérébrale fonctionnelle pour investiguer ces questions, nos résultats ont été à l’encontre de cette hypothèse suggérant une réorganisation ciblant particulièrement la voie dorsale. Nos résultats indiquent plutôt une réorganisation non-spécifique au type de stimulation utilisé. En effet, le gyrus temporal supérieur est activé chez les sourds suite à la présentation de toutes nos stimulations visuelles, peu importe leur degré de complexité. Le groupe de participants sourds montre aussi une activation du cortex associatif postérieur, possiblement recruté pour traiter l’information visuelle en raison de l’absence de compétition en provenance des régions temporales auditives. Ces résultats ajoutent aux données déjà recueillies sur les modifications fonctionnelles qui peuvent survenir dans tout le cerveau des personnes sourdes, cependant les corrélats anatomiques de la surdité demeurent méconnus chez cette population. Une troisième étude se propose donc d’examiner les modifications structurales pouvant survenir dans le cerveau des personnes sourdes profondes congénitales ou prélinguales. Nos résultats montrent que plusieurs régions cérébrales semblent être différentes entre le groupe de participants sourds et celui des entendants. Nos analyses ont montré des augmentations de volume, allant jusqu’à 20%, dans les lobes frontaux, incluant l’aire de Broca et d’autres régions adjacentes impliqués dans le contrôle moteur et la production du langage. Les lobes temporaux semblent aussi présenter des différences morphométriques même si ces dernières ne sont pas significatives. Enfin, des différences de volume sont également recensées dans les parties du corps calleux contenant les axones permettant la communication entre les régions temporales et occipitales des deux hémisphères.

Continuité et métamorphoses du surréalisme bruxellois : la poétique de l’illisible chez Christian Dotremont

Cette thèse pose la question de la fortune remarquable du surréalisme en Belgique et porte particulièrement attention à la poétique de Christian Dotremont qui, après une période surréaliste, trace le premier logogramme en 1962. La partie initiale de notre recherche interroge ses rapports avec le groupe surréaliste bruxellois (Paul Nougé et René Magritte), préoccupé par le refus de l’œuvre. Cette démarche subversive se transforme dans l’art expérimental du groupe Cobra (communauté artistique fondée en 1948 par Dotremont). Nous nous intéressons à cette évolution d’une préoccupation logocentrique (où le mot compte pour le contenu qu’il véhicule : il s’agit de la poétique « primitive » de Nougé et des objets bouleversants de Magritte) vers l’exploration du mot comme trace, comme scription et, par là même, comme source de poésie. La deuxième partie de notre recherche traite de l’époque Cobra où se forge ce que nous appelons la poétique du visible chez Dotremont dont le résultat est la découverte du pouvoir créatif du mot en tant que matière, en tant que trace manuscrite. Ces expérimentations centrées sur la matérialité du langage préparent le cheminement artistique de Dotremont vers l’invention du logogramme (objet d’analyse de la troisième partie de la thèse). Dans l’idée d’une légitimation du logogramme en tant que nouveau genre poético-pictural, nous relevons ses invariants créateurs : sans pour autant se soumettre au modèle pictural, celui-ci n’est ni peinture des mots, ni mot-tableau, il exploite la matérialité de la lettre comme source poétique : genre transfrontalier qui ne cesse de mettre en question et d’inclure dans sa cinétique la métamorphose de sa réception.

A lexical semantic study of Dene Suliné, an Athabaskan language

Cette thèse constitue une étude systématique du lexique du déné sųłiné, une langue athabaskane du nord-ouest canadien. Elle présente les définitions et les patrons de combinatoire syntaxique et lexicale de plus de 200 unités lexicales, lexèmes et phrasèmes, qui représentent une partie importante du vocabulaire déné sųłiné dans sept domaines: les émotions, le caractère humain, la description physique des entités, le mouvement des êtres vivants, la position des entités, les conditions atmospheriques et les formations topologiques, en les comparant avec le vocubulaire équivalent de l'anglais. L’approche théorique choisie est la Théorie Sens-Texte (TST), une approche formelle qui met l’accent sur la description sémantique et lexicographique empiriques. La présente recherche relève d'importantes différences entre le lexique du déné sųłiné et celui de l'anglais à tous les niveaux: dans la correspondence entre la représentation conceptuelle, considérée (quasi-)extralinguistique, et la structure sémantique; dans les patrons de lexicalisation des unités lexicales, et dans les patrons de combinatoire syntaxique et lexicale, qui montrent parfois des traits propres au déné sųłiné intéressants.

Transformation by example

La transformation de modèles consiste à transformer un modèle source en un modèle cible conformément à des méta-modèles source et cible. Nous distinguons deux types de transformations. La première est exogène où les méta-modèles source et cible représentent des formalismes différents et où tous les éléments du modèle source sont transformés. Quand elle concerne un même formalisme, la transformation est endogène. Ce type de transformation nécessite généralement deux étapes : l’identification des éléments du modèle source à transformer, puis la transformation de ces éléments. Dans le cadre de cette thèse, nous proposons trois principales contributions liées à ces problèmes de transformation. La première contribution est l’automatisation des transformations des modèles. Nous proposons de considérer le problème de transformation comme un problème d'optimisation combinatoire où un modèle cible peut être automatiquement généré à partir d'un nombre réduit d'exemples de transformations. Cette première contribution peut être appliquée aux transformations exogènes ou endogènes (après la détection des éléments à transformer). La deuxième contribution est liée à la transformation endogène où les éléments à transformer du modèle source doivent être détectés. Nous proposons une approche pour la détection des défauts de conception comme étape préalable au refactoring. Cette approche est inspirée du principe de la détection des virus par le système immunitaire humain, appelée sélection négative. L’idée consiste à utiliser de bonnes pratiques d’implémentation pour détecter les parties du code à risque. La troisième contribution vise à tester un mécanisme de transformation en utilisant une fonction oracle pour détecter les erreurs. Nous avons adapté le mécanisme de sélection négative qui consiste à considérer comme une erreur toute déviation entre les traces de transformation à évaluer et une base d’exemples contenant des traces de transformation de bonne qualité. La fonction oracle calcule cette dissimilarité et les erreurs sont ordonnées selon ce score. Les différentes contributions ont été évaluées sur d’importants projets et les résultats obtenus montrent leurs efficacités.

Vers une scène commune : rapports croisés entre poésie et chanson chez Raoul Duguay (1966-1970)

Ce mémoire porte sur les deux premiers recueils de Raoul Duguay (ruts et or le cycle du sang dure donc). Il cherche à examiner les liens étroits qu’entretient la poésie de Duguay avec la production parallèle du poète, qui s’oriente dès la fin des années 1960 vers la chanson. Le mémoire s’attachera d’abord, dans le premier chapitre, à présenter l’histoire des liens entre les poètes et la chanson au Québec afin de relever les points de contact significatifs au cours des années 1960 et de poser le cadre théorique de la chanson comme objet d’étude. Dans un deuxième temps, l’analyse des deux premiers recueils de poèmes de Duguay nous mènera à une réflexion sur la présence de la métaphore du chant, puis de la parole poétique en poésie québécoise, qui annonce un changement de paradigme dans l’approche du lyrisme et du sujet lyrique. Enfin, le troisième chapitre se penchera sur le contexte contre-culturel québécois, pour examiner le discours et le contre-discours sur la poésie, pour expliquer le phénomène de décloisonnement des genres qui conduit Raoul Duguay à investir le champ de la culture populaire de sa poésie. Il y sera aussi question du sujet « dans le langage », de l’expérience de la langue et de la subjectivité de la voix.

La culture du travail de rue : une construction quotidienne

La présente étude propose d’éclairer la dynamique interactive de construction quotidienne de la culture du travail de rue. Tel qu’elle est présentée au premier chapitre, cette piste de recherche fait écho à différentes préoccupations soulevées par l’indétermination des conditions d’existence et d’exercice du travail de rue aux niveaux de la légitimation sociale de cette pratique, de sa consolidation organisationnelle, de son articulation méthodologique et de l’identification professionnelle de ses praticiens. Après avoir mis en relief les contraintes et défis engendrés par ces différentes formes d’incertitude, la problématique met en lumière l’opportunité de voir dans cette indétermination un révélateur des processus quotidiens de construction culturelle du travail de rue. Un deuxième chapitre présente le cadre théorique constructiviste, interactionniste et ethnométhodologique qui a inspiré la conception de la culture adoptée dans cette recherche. Un troisième chapitre résume la stratégie ethnographique de l’enquête de terrain menée dans l’univers du travail de rue par le biais d’une démarche d’observation participante d’une année au sein d’une équipe locale de travailleurs de rue et des espaces associatifs fréquentés par ces acteurs à l’échelle régionale, provinciale et internationale. Empruntant la métaphore dramaturgique d’Erving Goffman pour décrire « la mise en scène de la vie quotidienne » des travailleurs de rue, une deuxième section d’analyse des données décrit en trois chapitres les interactions sociales des travailleurs de rue dans les « coulisses » de leurs espaces entre pairs, « dans le décor du milieu » à la rencontre de leurs « publics » ainsi que lors de « représentation de leur rôle » en situation d’intervention. Recourant à des récits d’observation et à divers exemples, chacun de ces chapitres explicite les activités routinières et les conversations ordinaires qui prennent forme dans ces différents contextes d’interaction sociale. Le quatrième chapitre décrit la quotidienneté de ma propre incursion comme chercheure dans l’univers des travailleurs de rue et celle dont j’ai été témoin dans la dynamique de l’équipe qui m’a accueillie pendant une année sur une base hebdomadaire. Le cinquième chapitre raconte la vie de tous les jours ayant cours à travers l’intégration des travailleurs de rue sur le terrain et l’activation de leur rôle dans le milieu. Le sixième chapitre reflète différentes manières dont les travailleurs de rue s’inscrivent au quotidien dans des situations d’intervention avec les personnes du milieu et avec les acteurs de la communauté. Un septième chapitre dégage de la description de cet assemblage de routines et de codes de langage des travailleurs de rue une interprétation des processus et des produits de la « culturation » de cette pratique, c’est-à-dire une certaine lecture des processus interactifs de production de cette culture et de la constellation de significations produites et mobilisées par les acteurs impliqués.