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.

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.

Zooarchéologie des camélidés du site Moche Guadalupito, Secteur urbain (Guad-112) au Pérou.

Cette étude vise à comprendre quelle était la place des camélidés chez les Moche du centre urbain de Guadalupito de la vallée de Santa au Pérou. Les données ostéologiques analysées ont été obtenues grâce aux travaux effectués par le projet archéologique PSUM (Proyecto Santa de la Universidad de Montreal) de l’Université de Montréal. Dans ce document, une synthèse concernant les Moche de la côte nord du Pérou est d’abord présentée. Puis, il sera question de décrire le site archéologique Guadalupito et d’effectuer des observations concernant les camélidés d’Amérique du sud. Ce sont surtout les données zooarchéologiques qui ont été considérées pour répondre aux questions de recherche de ce travail. La céramique, les fibres de camélidés et les données ethnohistoriques ainsi qu’ethnographiques concernant les camélidés ont également été sujets à quelques observations afin de pouvoir répondre aux questions de recherche de manière holistique. Les résultats ont dévoilé qu’une grande quantité des camélidés du centre urbain de Guadalupito ont été exploités pour leur viande. Les camélidés constituaient une denrée alimentaire de base pour les gens qui fréquentaient les secteurs associés à l’élite. Plusieurs autres camélidés ont été utilisés comme animal de charge, car ils sont morts à un âge plus avancé. Aussi, il y avait des échanges entre la côte et la sierra, car de la laine tissé selon un style de la sierra a été trouvée. Certains camélidés étaient également utilisés lors de rituel et/ou pour leur cuir. Les lamas offraient une source stable de protéines, car ces animaux étaient sous le contrôle des Moche. Enfin, le camélidé a été le mammifère le plus polyvalent avant l’arrivée des animaux en provenance de l’Europe et il a représenté un moyen de transport et une source de nourriture fiable et significative chez les Moche.