WorldCat Identities

Cousot, Patrick 1948-

Overview
Works: 45 works in 132 publications in 3 languages and 1,336 library holdings
Genres: Conference papers and proceedings  Academic theses 
Roles: Author, Editor, Thesis advisor, Opponent, Creator
Classifications: QA76.6, 005.1
Publication Timeline
.
Most widely held works by Patrick Cousot
Static analysis : third international workshop, WSA '93, Padova, Italy, September 22-24, 1993 : proceedings by Patrick Cousot( Book )

18 editions published in 1993 in 3 languages and held by 315 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
Static analysis : 8th International Symposium, SAS 2001,Paris, France, July 16-18, 2001 : proceedings by Patrick Cousot( Book )

24 editions published between 2001 and 2006 in English and held by 217 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
Introduction à l'algorithmique et à la programmation en Pascal cours et exercices corrigés by Patrick Cousot( Book )

20 editions published between 1985 and 1988 in French and held by 112 WorldCat member libraries worldwide

Algorithmique et programmation en pascal : cours by Patrick Cousot( Book )

2 editions published in 1992 in French and held by 61 WorldCat member libraries worldwide

Algorithmique et programmation en Pascal : exercices et corrigés by Patrick Cousot( Book )

3 editions published in 1992 in French and held by 50 WorldCat member libraries worldwide

Définition interprétative et implantation de langages de programmation by Patrick Cousot( Book )

6 editions published between 1974 and 2008 in French and Undetermined and held by 15 WorldCat member libraries worldwide

Introduction à l'algorithmique et à la programmation en Pascal : Lec̜on de présentation by Patrick Cousot( Book )

2 editions published between 1987 and 1988 in French and held by 11 WorldCat member libraries worldwide

Abstract interpretation 28.08. - 01.09.95 by P Cousot( Book )

4 editions published in 1995 in English and Undetermined and held by 8 WorldCat member libraries worldwide

Tools and Techniques for the Sound Verification of Low-Level Code by Christopher L Conway( )

1 edition published in 2011 in English and held by 6 WorldCat member libraries worldwide

The second contribution of this thesis is CASCADE, a multi-platform, multiparadigm framework for verification. CASCADE includes support for precise analysis of low-level C code, as well as for higher-level languages such as SPL
Une méthode de présentation des types abstraits : applications by M Bidoit( Book )

1 edition published in 1981 in French and held by 6 WorldCat member libraries worldwide

Après un rappel des concepts algébriques utilisés pour la théorie des types abstraits algébriques, on explicite les raisons conduisant à formaliser la notion de structure abstraite de données en deux concepts complémentaires, ceux d'environnement et de type abstraits. La consistance et la suffisante complétude étant deux problèmes indécidables, on étudie ensuite des critères de nature syntaxique qui, lorsqu'ils sont vérifiés, assurent a priori que le type abstrait possède les qualités désirées. Ces critères conduisent aux notions de présentation gracieuse et d'environnement charmant. On étudie ensuite deux applications de la notion de présentation gracieuse : la première concerne le problème de validité, la seconde concerne la transformation automatique d'une présentation gracieuse donnée en une autre. On étudie brièvement quelques problèmes non résolus, la spécification des cas d'erreurs, les notions de sous-type et de parametrisation
Utilisation de l'interprèteur Pascal du Macintosh by Patrick Cousot( Book )

1 edition published in 1988 in French and held by 6 WorldCat member libraries worldwide

Bulletin of the working group on machine oriented higher level languages by Patrick Cousot( Book )

4 editions published between 1976 and 1977 in English and held by 5 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

Système d'exploitation UNIX et réseaux d'ordinateurs : 2e année, majeure 2 by Patrick Cousot( Book )

3 editions published in 1998 in French and held by 4 WorldCat member libraries worldwide

Geometry and topology in concurrency theory and distributed systems theory : preliminary proceedings of GETCO '2002 ; satellite workshop of Disc '2002 ; Toulouse, France, October 30-31, 2002 by GETCO 2002( Book )

3 editions published between 2002 and 2003 in English and held by 3 WorldCat member libraries worldwide

Langages et compilation : 2e année, majeure 2 by Patrick Cousot( Book )

1 edition published in 1998 in French and held by 3 WorldCat member libraries worldwide

Special issue on SAS '94 : selected papers of the First International Static Analysis Symposium (SAS '94) ; (28-30 September 1994, Namur, Belgium) by International Static Analysis Symposium( Book )

2 editions published in 1998 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
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.75 (from 0.59 for Static ana ... to 0.96 for Geometry a ...)

Static analysis : third international workshop, WSA '93, Padova, Italy, September 22-24, 1993 : proceedings
Alternative Names
Patrick Cousot Frans informaticus

Patrick Cousot fransk ingeniør og informatikar

Patrick Cousot fransk ingeniør og informatiker

Patrick Cousot fransk ingenjör och datavetare

Patrick Cousot French computer scientist

Languages
English (59)

French (39)

Italian (1)

Covers
Static analysis : 8th International Symposium, SAS 2001,Paris, France, July 16-18, 2001 : proceedings