VIAF

Virtual International Authority File

Search

Cousot, Patrick Wikipedia (en) Sudoc [ABES], France National Library of France ISNI-test

Cousot, Patrick, 1948- NUKAT Center of Warsaw University Library National Library of the Netherlands-test National Library of the Czech Republic Library of Congress/NACO

VIAF ID: 72073515 (Personal)

Permalink: http://viaf.org/viaf/72073515

ISNI-test: 0000  0001  0986  3767 

Open Section Close Section Preferred Forms

 

 

 

 

Open Section Close SectionWorks

Title Sources
ANALYSE D'ECHAPPEMENT. APPLICATIONS A ML ET JAVA (TM) Sudoc [ABES], France
Analyse statique de systèmes synchrones communicants à horloges imparfaites par interprétation abstraite à temps-continu Sudoc [ABES], France
Analysis of probabilistic programs by abstract interpretation Sudoc [ABES], France
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 Sudoc [ABES], France
Définition interprétative et implantation de langages de programmation Sudoc [ABES], France National Library of France
DEMONSTRATION AUTOMATIQUE EN LOGIQUE CLASSIQUE : COMPLEXITE ET METHODES Sudoc [ABES], France
Domaines numériques abstraits faiblement relationnels Sudoc [ABES], France
INTERPRETATION ABSTRAITE APPLIQUEE A LA COMPILATION ET LA PARALLELISATION EN PROGRAMMATION LOGIQUE Sudoc [ABES], France
Introduction à l'algorithmique et à la programmation en PASCAL leçon de présentation Sudoc [ABES], France National Library of France
Méthodes itératives de construction et d'approximation de points fixes d'opérateurs monotones sur un treillis, analyse sémantique des programmes Sudoc [ABES], France
REPRESENTATION D'ENSEMBLES D'ARBRES POUR L'INTERPRETATION ABSTRAITE Sudoc [ABES], France
SAS 2001 National Library of the Netherlands-test
Semantic analysis of dynamic daba structures applied to the special of LISP like languages. Sudoc [ABES], France
SEMANTIQUES DES LANGAGES IMPERATIFS D'ORDRE SUPERIEUR ET INTERPRETATION ABSTRAITE Sudoc [ABES], France
Static analysis : 8th International Symposium, SAS 2001,Paris, France, July 16-18, 2001 : proceedings National Library of the Netherlands-test Sudoc [ABES], France Library of Congress/NACO
Static analysis of communicating imperfectly-clocked synchronous systems using continuous-time abstract domains. Sudoc [ABES], France
Static Analysis Third International Workshop, WSA '93 Padova, Italy, September 22-24, 1993 Proceedings NUKAT Center of Warsaw University Library National Library of the Netherlands-test Library of Congress/NACO xR Extended Titles-test Sudoc [ABES], France
Structures de données et de programmes Sudoc [ABES], France
Système d'exploitation UNIX et réseaux d'ordinateurs 2e année, majeure 2 Sudoc [ABES], France National Library of France
Utilisation de l'interprèteur Pascal du Macintosh Sudoc [ABES], France
UTILISATION DES TECHNIQUES DE L'INTELLIGENCE ARTIFICIELLE POUR LA MODELISATION DU MOUVEMENT D'OBJETS ANIMES Sudoc [ABES], France
Weakly relational numerical abstract domains. Sudoc [ABES], France

Open Section Close Section Selected Co-authors

Open Section Close Section Countries of Publication (2)

Open Section Close Section Publication Statistics

Open Section Close Section Selected Publishers (8)

Open Section Close Section About

Open Section Close Section History of VIAF ID:72073515 (16)