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.

Ethno-pragmatique et prosodie. Présentation d'une hypothèse de recherche pluridisciplinaire dans le domaine des sciences du langage et de la culture

L'hypothèse de recherche que nous souhaitons vous présenter ici a pour objet l&s fonctions pragmatiques de Ia prosodie. L'ensemble de notre Projet de Recherche s'organise en effet autour d'une seule (mais fondamentale) hypothèse de travail: c'est dans et par Ia prosodie que pour Vessentiel le langage contribue activement à Ia construction du lien social. La formulation de cette hypothèse resulte des travaux que nous avons menés dans le champ de FAnthropologie des rites, étudiés dans une perspective sémiologique (au sens large), visant à mieux saisir dans quelle mesure et selon quelles modalités, dans et par le rite, Vordre du signe est signe de 1'ordreK Le rite constitue un système complexe de comrpunication symbolique qui contribue en effet activement à definir sur le plan sémantique et à structurer sur le plan dramaturgique les situations d'interaction sociale.

Autoimmunthyreoiditis vom Typ Hashimoto im Kindesalter : klinische und biochemische Befunde zum Zeitpunkt der Diagnose bei 142 Patienten aus einem Zentrum

Magdeburg, Univ., Medizin. Fakultät, Diss., 2009

Vergleich der Tibia- first Technik gegenüber der Femur- first Technik bei der navigationsgestützten Implantation eines bikondylären Oberflächenersatzes vom Typ Columbus

Magdeburg, Univ., Med. Fak., Diss., 2011

Methodenoptimierung für multifokale Simultanableitungen von Muster-Elektroretinogramm und visuell evozierten Potentialen : Einfluss von Reiz-Rate und Reiz-Typ

Magdeburg, Univ., Diss., Med. Fak., 2011

Grundlagenuntersuchungen zur Entwicklung eines langzeitstabilen Kaltkathoden-Ionisationsmanometers vom inversen Magnetron-Typ

Cold-cathode gauge, vacuum gauge, inverted magnetron gauge, crossed-field gauge, Penning gauge, contamination, ion baffle, measuring stability

Einfluss von Acetylcholinesterase-Inhibitoren auf neuropsychologische Leistungen von Patienten mit Demenz vom Alzheimer-Typ

Magdeburg, Univ., Fak. für Naturwiss., Diss., 2011

vergleichende Arbeit zu T1-gewichteten und Magnetisierungstransfer-MR-Aufnahmen als frühdiagnostische Verfahren zur Beurteilung von Demenzen vom Alzheimer-Typ

Magdeburg, Univ., Med. Fak., Diss., 2012

Klinische Parameter und Laborprofile bei der Abklärung des Verdachts auf eine Heparin-induzierte Thrombozytopenie (HIT) Typ II bei Patienten nach herzchirurgischen Eingriffen

Magdeburg, Univ., Med. Fak., Diss., 2012

Empfänglichkeit hämatopoetischer Zelllinien mesenchymaler CD34 und CD14 Stammzellen des Fettgewebes für eine Infektion mit dem humanen Immunschwächevirus Typ 1 und deren potentieller Nutzen in Prävention und Therapie der HIV-Infektion

Magdeburg, Univ., Med. Fak., Diss., 2013

Kohortenstudie zur Prävalenz von Angiotensin II Typ 1- und Endothelin-1 Typ A-Rezeptor-Autoantikörpern bei (peripherer) arterieller Verschlusskrankheit

Universität Magdeburg, Univ., Dissertation, 2016

Le suicide comme langage de l'oppression. Ethnographie d'un service d'urgences psychiatriques

Ce travail s'intéresse à la problématique du suicide à partir de l'émergence en Suisse, vers la fin des années '90, de la prévention du suicide comme préoccupation sociale et politique. Au début, ce sont les milieux associatifs qui ont soulevé à cette question en percevant le suicide comme le reflet d'une souffrance d'origine sociale. Par la suite, la prévention du suicide est progressivement devenue une problématique de santé publique appréhendée essentiellement sous le registre médical comme étant le symptôme d'une pathologie psychiatrique. Après une première partie consacrée aux processus sociopolitiques et aux transformations morales touchant le suicide et sa prévention, ce travail approfondit, au travers d'un terrain ethnographique, la prise en charge des personnes présentant des problématiques suicidaires au sein d'un service d'urgences psychiatriques.Malgré une approche se voulant biopsychosociale, l'analyse des discours et des pratiques soignantes montre que la dimension sociale est largement négligée, conduisant à une médicalisation de situations de détresse qui sont principalement de nature sociale. En effet, parmi la population qui fréquente le service, on observe une surreprésentation de personnes issues des classes sociales défavorisées présentant souvent des trajectoires biographiques particulièrement difficiles. Au fil des entretiens avec les patients émerge une analyse voyant la souffrance psychique et la prise en charge psychiatrique comme étant aujourd'hui une manière d'obtenir une reconnaissance sociale et symbolique. Les problématiques suicidaires peuvent ainsi être interprétées comme une forme d'expression, un langage au travers duquel s'exprime la position sociale défavorisée.En adoptant une posture militante construite à partir de la réalité ethnographique, les problématiques suicidaires sont analysées comme l'expression d'une condition d'oppression liée à un cadre social et économique de plus en plus contraignant, à des rapports de pouvoir inégaux ainsi qu'à une lecture individualisante, médicalisante et pathologisante des problèmes sociaux.The present thesis discusses suicide prevention in Switzerland, which emerged as a social and political issue at the end of the '90s. At first, this question was taken up by associations considering suicide as a reflection of social suffering. Thereafter, suicide prevention gradually became a public health matter conceived with a medical approach as a symptom of a psychiatric disease. The first part of this work analyzes the sociopolitical process and moral transformations concerning suicide and its prevention. The second part is based on an ethnographic fieldwork conducted in a psychiatric emergency unit that attends people who have tried to attempt their life or consider doing it. Through the analysis of discourses and practices of the medical staff, this research shows that the social aspect of suicide is widely neglected, leading to a medicalization of social problems. In fact, amongst patients attending the emergency unit, there is an over-­-representation of people from disadvantaged classes having very difficult life stories. Interviews with patients also revealed that psychic suffering and psychiatric treatment is nowadays a way to get social and symbolical recognition. Suicidal problems can be understood as a language expressing a disadvantaged social position. By adopting a militant position constructed from the ethnographic reality, suicide is analyzed as the expression of an oppressed condition related to a more and more restricted social and economic situation, to unequal power relations as well as to an individualistic, medical and pathological interpretation of social problems.