WorldCat Identities

Cousot, Patrick 1948-

Overview
Works: 37 works in 128 publications in 2 languages and 1,289 library holdings
Genres: Conference papers and proceedings 
Roles: Author, Editor, Thesis advisor, Opponent, Creator
Classifications: QA76.6, 519.7
Publication Timeline
.
Most widely held works by Patrick Cousot
Introduction à l'algorithmique et à la programmation en Pascal cours et exercices corrigés by Patrick Cousot( Book )

22 editions published between 1985 and 1988 in French and held by 120 WorldCat member libraries worldwide

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

2 editions published in 1992 in French and held by 64 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 55 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

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 2001( Book )

13 editions published between 2000 and 2005 in English and held by 13 WorldCat member libraries worldwide

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

3 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 8 WorldCat member libraries worldwide

In this thesis, I present several contributions to the field of program verification. The first is a general framework for combining program analyses that are only conditionally sound. Using this framework, I show it is possible to design a sound verification tool that relies on a separate, previously-computed pointer analysis
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 P. M 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

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

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

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

Preliminary proceedings of the Workshop on Geometry and Topology in Concurrency Theory, GETCO '03 : Marseille, France, September 6, 2003( Book )

1 edition published in 2003 in English and held by 2 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 0 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
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.88 (from 0.66 for Tools and ... to 0.96 for Geometry a ...)

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
French (40)

English (26)