WorldCat Identities

Cousot, Patrick 1948-

Overview
Works: 45 works in 137 publications in 3 languages and 1,391 library holdings
Genres: Conference papers and proceedings  Academic theses 
Roles: Author, Editor, Thesis advisor, Opponent, Creator
Publication Timeline
.
Most widely held works by Patrick Cousot
Static analysis : 8th international symposium, Paris, France, July 16-18, 2001 ; proceedings by Patrick Cousot( )

27 editions published between 2001 and 2006 in English and held by 595 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 )

22 editions published in 1993 in 3 languages and held by 450 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
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 109 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 49 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

Static Analysis and Verification of Aerospace Software by Abstract Interpretation by Julien Bertrane( )

1 edition published in 2015 in English and held by 9 WorldCat member libraries worldwide

We discuss the principles of static analysis by abstract interpretation and report on the automatic verification of the absence of runtime errors in large embedded aerospace software by static analysis based on abstract interpretation. The first industrial applications concerned synchronous control/command software in open loop. Recent advances consider imperfectly synchronous programs, parallel programs, and target code validation as well. Future research directions on abstract interpretation are also discussed in the context of aerospace software
Abstract interpretation 28.08. - 01.09.95 by Patrick Cousot( Book )

4 editions published in 1995 in English and Undetermined and held by 8 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 6 WorldCat member libraries worldwide

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
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

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

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 4 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
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

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
Analyse sémantique de structures de données dynamiques avec application au cas particulier de langages LISPiens by Jan Stransky( Book )

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

L'objectif est de présenter une méthode permettant d'obtenir par analyse sémantique du code source d'un programme, des informations sur ce que sera la structure des données dynamiques (c'est à "tas") à l'exécution de ce programme.Pour cela, dans un premier temps, un treillis de graphes spécialisés (les "h-graphes") est construit Nous montrons que chaque h-graphe est une approximation sémantiquement correcte d'un ensemble d'états possibles de la mémoire dynamique, et présentons les primitives abstraites correspondantes à quelques primitives classiques d'un langage LISPien.Dans un deuxième temps, la question de l'analyse d'un langage LISPien utilisant des fonctions récursives et la portée dynamique est abordée. Une méthode permettant de résoudre ce problème délicat est présentée, et les éléments nécessaires à une preuve de correction sémantique sont donnés.Dans un troisième temps, enfin, un analyseur de Le_Lisp utilisant nos techniques est présenté, et quelques exemples d'analyse sont fournis.Les idées nécessaires à une adaptation de nos méthodes pour l'analyse d'un langage PASCALien sont données dans la thèse
Travaux dirigés sur l'utilisation du système d'exploitation des ordinateurs UNIX by Patrick Cousot( Book )

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

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.71 (from 0.61 for Static ana ... to 0.96 for Geometry a ...)

Static analysis : third international workshop, WSA '93, Padova, Italy, September 22-24, 1993 : proceedings
Covers
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

Patrick Cousot otoyi

پاتریک کوست

Languages
English (61)

French (40)

Italian (1)