Accart Hardin, Thérèse
Accart Hardin, Thérèse 1947-....
Hardin-Accart, Thérèse, 1947-...
Thérèse Hardin French computer scientist
VIAF ID: 59143133 (Personal)
Permalink: http://viaf.org/viaf/59143133
Preferred Forms
4xx's: Alternate Name Forms (8)
Works
Title | Sources |
---|---|
Adding synchrony to strongly typed functional languages. | |
Ajout de synchronisme dans les langages fonctionnels fortement typés | |
DES CALCULS DE SUBSTITUTION EXPLICITE ET DE LEUR APPLICATION A LA COMPILATION ET DE LEUR APPLICATION A LA COMPILATION DES LANGAGES FONCTIONNELS | |
Clock calculus and control structures in Lucid Synchrone, an ML-like synchronous data-flow language. | |
CODE GARDE : TRADUCTION, ANALYSE STATIQUE, PIPELINE LOGICIEL | |
Conception et implantation du langage Foc pour le développement de logiciels certifiés | |
Concepts et outils de programmation le style fonctionnel, le style impératif, avec Caml et Ada | |
Concepts et sémantique des langages de programmation. 2, Constructions modulaires et objet avec OCaml, Python, C++, Ada et Java | |
Déduction automatique et certification de preuve pour la méthode B. | |
Développement de logiciel critique en FoCalize : méthodologie et outils pour l'évaluation de conformité | |
Éléments de mathématiques discrètes : cours, exercices résolus, implémentations avec les langages Python et OCaml | |
Etude de l'apport des méthodes formelles déductives pour les développements de sécurité. | |
Focal's sémantics of object oriented features. | |
FORMALISATION DE LA THEORIE DE REECRITURE DANS COQ | |
Formalization and implementation of a multi-level OS security policy through a FoCaLize to C translation. | |
Formalizations and comparisons of security policies and systems. | |
JFLA 2006 : Journées Francophones des Langages Applicatifs : 28-31 janvier 2006, Pauillac, France | |
Langages applicatifs : développements et applications | |
METHODES ET OUTILS POUR LES PREUVES COMPOSITIONNELLES DE SYSTEMES PARALLELES | |
Modélisation et implantation d'une politique de sécurité d'un OS multi-niveaux via une traduction de FoCaLyze vers C | |
Proof by induction in sequent calculus modulo. | |
Résultats de confluence pour les règles fortes de la logique | |
Safety analysis by abstract interpretation and constraints. | |
Sémantique des systèmes de contrôle d'accès : définition d'un cadre sémantique pour la spécification, l'implantation et la comparaison de modèles de contrôle d'accès | |
Sémantique des traits orientés objet de Focal | |
SPECIFICATION D'UN ENVIRONNEMENT DEDIE A LA PROGRAMMATION CERTIFIEE DE BIBLIOTHEQUES DE CALCUL FORMEL | |
Study of the benefits of using deductive formal methods for secure developments | |
Tableaux et déduction modulo |