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.

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.

Rationalité et embeddedness La sensibilité écologique des consommateurs à l’école des conventions

Selon une conception canonique de la rationalité, le comportement des consommateurs résulte de préférences données. En économie de l’environnement, la sensibilité écologique des consommateurs prend ainsi la forme d’une préférence verte intégrée à la fonction d’utilité. Le courant de l’économie des conventions relâche l’hypothèse de rationalité substantielle en insistant sur la pluralité des raisons d’agir pour les individus. En soulignant, à partir d’études empiriques, que le comportement des agents est irréductible à une explication causale unique (en termes de préférences), une conception conventionnaliste de la sensibilité écologique s’appuiera sur les valeurs revendiquées par les agents et les formes de justifications invoquées lorsqu’il est question d’actions concrètes en faveur de l’environnement.

L’extinction de l'extension juridique des conventions collectives dans le secteur manufacturier au Québec : le cas de l'industrie du vêtement

RÉSUMÉ Le gouvernement du Québec a adopté en novembre 1999 le projet de loi 47, relatif à la Loi concernant les conditions de travail dans certains secteurs de l’industrie du vêtement et modifiant la Loi sur les normes du travail (1999, c. 57). Son entrée en vigueur eut pour effet d’abroger au 30 juin 2000 les quatre (4) décrets sectoriels de convention collective qui régissaient les conditions d’emploi d’approximativement 23 000 travailleurs affectés à la production de vêtements (gant de cuir, chemise pour hommes et garçons, confection pour hommes et pour dames). Cette recherche démontre que bien qu’inscrit dans une logique étatique de dérégulation du travail visant à favoriser la compétitivité, le maintien de normes de substitution aux décrets dans le cas du vêtement québécois ne dérive pas pour autant d’une déréglementation strictement néolibérale. Au plan plus théorique, l’émergence et le sort du régime de conditions d’emploi étudié dévoilent la nature politique du processus d’élaboration des règles salariales, qu’il soit d’origine législative ou contractuelle. Cette dynamique repose sur le caractère mouvant des relations de pouvoir et d’influence des agents engagés dans la régulation institutionnelle, où l’État est appelé à jouer un rôle de catalyseur ─ et non de tiers arbitre indépendant ─ à l’endroit des tensions qui procèdent du rapport salarial et du mode de production au sein duquel il s’inscrit.

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.

L’effectivité des Conventions 29, 138 et 182 de l’Organisation internationale du travail sur l’éradication du travail des enfants en Mauritanie

L’objectif de cette étude consiste à déterminer si les conventions de l’Organisation internationale du travail (OIT) sont effectives en ce qui concerne l’éradication du travail des enfants en Mauritanie. Cette effectivité est appréciée en mesurant la réception juridique et la réception sociale en Mauritanie de la Convention 29 sur le travail forcé, de la Convention 138 sur l’âge minimum d’admission à l’emploi et de la Convention 182 sur les pires formes de travail des enfants. La réception juridique des conventions est mesurée par un examen de l’intégration de leurs dispositions dans le droit national mauritanien. La réception juridique comprend également l’appréciation du contrôle du respect des conventions en territoire mauritanien. La réception sociale fait référence, quant à elle, aux stratégies de mise en œuvre des conventions de l’OIT par le Gouvernement mauritanien à travers ses programmes et ses politiques. Notre analyse démontre que l’effectivité des Conventions 29, 138 et 182 de l’OIT en ce qui concerne l’éradication du travail des enfants en Mauritanie est, selon nous, partielle. Dans l’ensemble, la situation tend à s’améliorer et le Gouvernement mauritanien tente de respecter l’esprit de ces conventions et de leur faire écho dans le droit national. Toutefois, il n’existe pas beaucoup d’information sur l’impact des programmes mis en place pour éradiquer le travail des enfants.

Ideologies of language and print media in Ghana

Thèse numérisée par la Division de la gestion de documents et des archives de l'Université de Montréal.

Being anglophone : language, place and identity in Quebec's eastern townships

Thèse numérisée par la Division de la gestion de documents et des archives de l'Université de Montréal

SCIL processor : a common intermediate language processor for embedded systems

Mémoire numérisé par la Division de la gestion de documents et des archives de l'Université de Montréal

The eroticization of space and language through desire in Gail Scott's My Paris

Mémoire numérisé par la Division de la gestion de documents et des archives de l'Université de Montréal