WorldCat Identities

Cousot, Patrick 1948-

Overview
Works: 53 works in 99 publications in 2 languages and 1,093 library holdings
Genres: Conference proceedings 
Roles: Editor, Creator
Classifications: QA76.6, 005.1
Publication Timeline
Key
Publications about  Patrick Cousot Publications about Patrick Cousot
Publications by  Patrick Cousot Publications by Patrick Cousot
Most widely held works by Patrick Cousot
Static analysis 8th International Symposium, SAS 2001,Paris, France, July 16-18, 2001 : proceedings by Patrick Cousot ( )
24 editions published between 2001 and 2006 in English and held by 580 WorldCat member libraries worldwide
This book constitutes the refereed proceedings of the 8th International Symposium on Static Analysis, SAS 2001, held in Paris, France, in July 2001. The 21 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 62 submissions; also included are 5 abstracts of an invited session on security. The papers are organized in topical sections on program transformation, strictness and termination, semantics abstraction, logic and constraint programming, data structures, pointer analysis, model checking, and abstract model checking
Static analysis : third international workshop, WSA '93, Padova, Italy, September 22-24, 1993 : proceedings by Patrick Cousot ( Book )
12 editions published in 1993 in English and held by 274 WorldCat member libraries worldwide
This volume constitutes the proceedings of the third International Workshop on Static Analysis (WSA`93), held in Padova, Italy, in September 1993. The objective of the international workshop series WSA is to serve as a forum for the discussion of the various aspects of static analysis in different programming paradigms. The clearly increasing mumbers of submitted papers and workshop participants point out the growing importance of static analysis techniques for logical, functional, concurrent and parallel languages as well as for parallel term rewriting systems. This proceedings contains, besides the abstracts or full papers of the invited talks given by Pascal Van Hentenryck, Peter van Roy, and Paul Hudak, full versions of the 20 contributed papers selected from a total of 68 submissions by an international program committee consisting of many renown researchers in the field. The volume is organized in sections on fixpoint computation, concurrency, parallelism, transformation, logic programs, term rewriting systems, strictness, reasoning about programs, and types
Algorithmique et programmation en pascal : cours by Patrick Cousot ( Book )
6 editions published in 1992 in French and held by 125 WorldCat member libraries worldwide
Static analysis third international workshop, WSA '93, Padova, Italy, September 1993 : proceedings by Workshop on Static Analysis ( Book )
4 editions published in 1993 in English and held by 16 WorldCat member libraries worldwide
Static analysis : third international workshop; proceedings ( Book )
1 edition published in 1993 in English and held by 15 WorldCat member libraries worldwide
Static analysis : proceedings ( Book )
1 edition published in 1993 in Undetermined and held by 7 WorldCat member libraries worldwide
Abstract interpretation 28.08. - 01.09.95 ( Book )
2 editions published in 1995 in Undetermined and English and held by 6 WorldCat member libraries worldwide
Utilisation de l'interprèteur Pascal du Macintosh by Patrick Cousot ( Book )
1 edition published in 1988 in French and held by 5 WorldCat member libraries worldwide
Introduction à l'algorithmique et à la programmation en Pascal leçon 2 by Patrick Cousot ( Book )
2 editions published between 1986 and 1987 in French and held by 4 WorldCat member libraries worldwide
Méthodes itératives de construction et d'approximation de points fixes d'opérateurs monotones sur un treillis, analyse sémantique des programmes by Patrick Cousot ( Book )
1 edition published in 1978 in French and held by 4 WorldCat member libraries worldwide
Bulletin of the working group on machine oriented higher level languages by P. M Cousot ( Book )
3 editions published between 1976 and 1977 in English and held by 3 WorldCat member libraries worldwide
ANALYSES SEMANTIQUES DE CONGRUENCE by Philippe Granger ( Book )
1 edition published in 1991 in French and held by 3 WorldCat member libraries worldwide
L'ANALYSE SEMANTIQUE DES PROGRAMMES CONSISTE A DETERMINER AUTOMATIQUEMENT A LA COMPILATION DES PROPRIETES QU'ILS VERIFIENT LORS DE TOUTE EXECUTION. CETTE THESE EST PLUS PARTICULIEREMENT CONSACREE AUX PROPRIETES DE CONGRUENCE DES VARIABLES (OU DES ABSTRACTIONS) NUMERIQUES. PRECISEMENT, A PARTIR D'UN CADRE ALGEBRIQUE COMMUN, ON DEFINIT TOUT D'ABORD L'ANALYSE DE CONGRUENCE ARITHMETIQUE SUR LES NOMBRES ENTIERS, QUI GENERALISE A LA FOIS LA PARITE ET LA PROPAGATION DES CONSTANTES, QU'ON GENERALISE ELLE-MEME A L'INFERENCE DE SYSTEMES D'EQUATIONS LINEAIRES DE CONGRUENCE. ON GENERALISE ENSUITE CES DEUX ANALYSES AUX NOMBRES RATIONNELS. ENTRE AUTRES, CES ANALYSES PEUVENT S'AVERER UTILES DANS LE CADRE DE LA VECTORISATION AUTOMATIQUE POUR LES PREMIERES, ET POUR LES SECONDES AFIN D'OPTIMISER LA REPRESENTATION DES REELS ET LIMITER LES ERREURS D'ARRONDI DANS LES CALCULS. ON TERMINE PAR LA PRESENTATION RAPIDE D'EXTENSIONS DES PRECEDENTES ANALYSES, D'ANALYSES DE CONGRUENCE MULTIPLICATIVE ET DE TECHNIQUES D'ITERATIONS DECROISSANTES PERMETTANT D'AMELIORER LES RESULTATS DES ANALYSES EN GENERAL
Introduction à l'algorithmique et à la programmation en Pascal : lec̜ons 1 à 6 by Patrick Cousot ( Book )
1 edition published in 1988 in French and held by 3 WorldCat member libraries worldwide
ANALYSE SEMANTIQUE DE STRUCTURES DE DONNEES DYNAMIQUES AVEC APPLICATION AU CAS PARTICULIER DE LANGAGES LISPIENS by Jan Stransky ( Book )
1 edition published in 1988 in French and held by 2 WorldCat member libraries worldwide
L'OBJECTIF EST DE PRESENTER UNE METHODE PERMETTANT D'OBTENIR, PAR ANALYSE SEMANTIQUE DU CODE SOURCE D'UN PROGRAMME, DES INFORMATIONS SUR CE QUE SERA LA STRUCTURE DES DONNEES DYNAMIQUES A L'EXECUTION DE CE PROGRAMME
Introduction à l'algorithmique et à la programmation en Pascal : leçon 4 by Patrick Cousot ( Book )
1 edition published in 1986 in French and held by 2 WorldCat member libraries worldwide
Introduction à l'algorithmique et à la programmation en Pascal : leçon 3 by Patrick Cousot ( Book )
1 edition published in 1986 in French and held by 2 WorldCat member libraries worldwide
Introduction à l'algorithmique et à la programmation en Pascal : leçon 6 by Patrick Cousot ( Book )
1 edition published in 1986 in French and held by 2 WorldCat member libraries worldwide
Introduction à l'algorithmique et à la programmation en Pascal : leçon 1 by Patrick Cousot ( Book )
1 edition published in 1986 in French and held by 2 WorldCat member libraries worldwide
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.75 (from 0.00 for Introducti ... to 0.97 for Static ana ...)
Alternative Names
Cousot, P.
Languages
English (47)
French (17)
Covers