VIAF

Virtual International Authority File

Search

Cousot, Patrick Sudoc [ABES], France National Library of France ISNI

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

Patrick Cousot Wikidata

VIAF ID: 72073515 (Personal)

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

ISNI: 0000  0001  0986  3767 

Open Section Close Section Preferred Forms

 

 

 

 

Open Section Close Section 4xx's: Alternate Name Forms (4)

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çons 1 à 6] 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
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 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 National Library of the Netherlands NUKAT Center of Warsaw University Library Sudoc [ABES], France Library of Congress/NACO
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 (3)

Open Section Close Section Publication Statistics

Open Section Close Section Selected Publishers (8)

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