Cousot, Patrick, 1948-...., informaticien
Cousot, Patrick, 1948-
Cousot, Patrick
Patrick Cousot
VIAF ID: 72073515 ( Personal )
Permalink: http://viaf.org/viaf/72073515
Preferred Forms
- 200 _ | ‡a Cousot ‡b Patrick
- 100 1 _ ‡a Cousot, Patrick (sparse)
-
- 100 1 _ ‡a Cousot, Patrick
-
-
-
-
- 100 1 _ ‡a Cousot, Patrick, ‡d 1948-
- 100 1 0 ‡a Cousot, Patrick, ‡d 1948-
-
-
- 100 1 _ ‡a Cousot, Patrick, ‡d 1948-...., ‡c informaticien
- 100 0 _ ‡a Patrick Cousot
4xx's: Alternate Name Forms (14)
Works
Title | Sources |
---|---|
Abstract intepretation of higher-order imperative languages. | |
Algebraic model based on the Petri nets for parallel systems study. | |
ANALYSE D'ECHAPPEMENT. APPLICATIONS A ML ET JAVA (TM) | |
Analyse sémantique relationnelle des indices de tableaux par congruences et trapézoïdes rationnels | |
Analyse statique de systèmes synchrones communicants à horloges imparfaites par interprétation abstraite à temps-continu | |
Analysis of probabilistic programs by abstract interpretation. | |
Array indices relational semantic analysis using rational cosets and trapezoids. | |
Bulletin of the working group on machine oriented higher level languages = Bulletin du groupe de travail sur les langages d'implémentation de systèmes | |
Comparing the Galois connection and wideningnarrowing approaches to abstract interpretation | |
Définition interprétative et implantation de langages de programmation | |
Démonstration automatique en logique classique : complexité et méthodes | |
Domaines numériques abstraits faiblement relationnels | |
Extensions réactives de la programmation par contraintes | |
Functional languages and parallelism : an implementation for the caml system. | |
GEOMETRIE DU PARALLELISME | |
THE GEOMETRY OF CONCURRENCY. | |
Inductive definitions, semantics and abstract interpretation | |
Interprétation abstraite appliquée à la compilation et la parallélisation en programmation logique | |
Introduction à l'algorithmique et à la programmation en PASCAL leçon de présentation | |
Introduction très informelle au langage LIS | |
Langages et compilation 2e année, majeure 2 | |
Langages fonctionnels et parallélisme : une réalisation pour le système CAML | |
Majeures d'informatique fondamentale et applications : sciences de l'ingénieur et calcul scientifique mineure calcul parallèle promotion 1992, 2ème année | |
Une méthode de présentation des types abstraits : applications | |
Méthodes itératives de construction et d'approximation de points fixes d'opérateurs monotones sur un treillis, analyse sémantique des programmes | |
Un modèle algébrique, basé sur les réseaux de Petri, pour l'étude des systèmes parallèles | |
REPRESENTATION D'ENSEMBLES D'ARBRES POUR L'INTERPRETATION ABSTRAITE | |
SAS 2001 | |
SAS'94 : selected papers | |
Semantic analysis of dynamic daba structures applied to the special of LISP like languages. | |
Sémantiques des langages impératifs d'ordre superieur et interprétation abstraite | |
Static analysis : 8th international symposium, SAS 2001, Paris, France, July 16-18, 2001 : proceedings | |
Static analysis of communicating imperfectly-clocked synchronous systems using continuous-time abstract domains. | |
Static analysis / Patrick Cousot [et al.] (eds.). - Berlin, 1993. | |
Static analysis : third international workshop, WSA '93, Padova, Italy, September 22-24, 1993 : proceedings | |
Structures de données et de programmes. | |
Système d'exploitation UNIX et réseaux d'ordinateurs : 2ème année, majeure 2 | |
Utilisation de l'interprèteur Pascal du Macintosh | |
UTILISATION DES TECHNIQUES DE L'INTELLIGENCE ARTIFICIELLE POUR LA MODELISATION DU MOUVEMENT D'OBJETS ANIMES | |
Weakly relational numerical abstract domains. | |
WSA'93 |