skip to main content
Résultats 1 2 3 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Livre
Ajouter à Mon espace

Which pointer analysis should I use?

New York : ACM Press, 2000

Voir les exemplaires

2
Material Type:
Livre
Ajouter à Mon espace

Symbolic pointer analysis

New York : ACM, 2002

Voir les exemplaires

3
Material Type:
Livre
Ajouter à Mon espace

Intraprocedural pointer analysis for container-centric applications

Rocquencourt : INRIA, 2001

Voir les exemplaires

4
Material Type:
Thèse
Ajouter à Mon espace

Efficient, context-sensitive pointer analysis for C programs

Stanford CA : STANFORD UNIVERSITY, 1997

Voir les exemplaires

5
Material Type:
Livre
Ajouter à Mon espace

Pointer analysis : haven't we solved this problem yet?

New York : ACM, 2001

Voir les exemplaires

6
Material Type:
Livre
Ajouter à Mon espace

Symbolic pointer analysis for detecting memory leaks

New York : ACM SIGPLAN, 2000

Voir les exemplaires

7
Material Type:
Livre
Ajouter à Mon espace

Dimensions of precision in reference analysis of object-oriented programming languages

Berlin Heidelberg : Springer, 2003

Voir les exemplaires

8
Material Type:
Livre
Ajouter à Mon espace

Incrementalized pointer and escape analysis

New York : ACM Press, 2001

Voir les exemplaires

9
Material Type:
Thèse
Ajouter à Mon espace

ANALYSE SEMANTIQUE DE STRUCTURES DE DONNEES DYNAMIQUES AVEC APPLICATION AU CAS PARTICULIER DE LANGAGES LISPIENS

Stransky, Jan (1961-....) ; Cousot, Patrick

S.l. : s.n., 1988

Voir les exemplaires  et autres localisations

10
Material Type:
Livre
Ajouter à Mon espace

Instance-wise points-to analysis for loop-based dependence testing

New York : ACM Press, 2002

Voir les exemplaires

11
PARALLELIZING PROGRAMS WITH RECURSIVE DATA STRUCTURES.
Material Type:
Livre
Ajouter à Mon espace

PARALLELIZING PROGRAMS WITH RECURSIVE DATA STRUCTURES.

UNIVERSITY-PARK : PENN STATE PRESS, 1989

Voir les exemplaires

12
Material Type:
Livre
Ajouter à Mon espace

Demand-driven pointer analysis

New York : ACM Press, 2001

Voir les exemplaires

13
Material Type:
Thèse
Ajouter à Mon espace

Techniques d'analyse statique pour l'aide à la mise au point de programmes avec manipulation explicite de pointeurs

Rennes : s.n., 1997

Voir les exemplaires

14
Foundations of software engineering : proceedings
Material Type:
Livre
Ajouter à Mon espace

Foundations of software engineering : proceedings

ACM SIGSOFT Symposium on the Foundations of Software Engineering ACM SIGSOFT Symposium on the Foundations of Software Engineering 6 Lake Buena Vista, FL US 1998 ; ACM Special Interest Group on Programming Languages ; ACM Special Interest Group on Software Engineering

New York, NY : ACM, 1998

Voir les exemplaires

15
Computer Aided Verification : 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014. Vienna, Austria, July 18-22, 2014 Proceedings
Material Type:
Livre
Ajouter à Mon espace

Computer Aided Verification : 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014. Vienna, Austria, July 18-22, 2014 Proceedings

Computer aided verification Computer aided verification International conference 26 Vienna, Austria July 18-22, 2014 ; Biere, Armin (1967-) ; Bloem, Roderick

Berlin Heidelberg : Springer, 2014

Voir les exemplaires

16
Computer aided verification : 22nd International conference, CAV 2010, Edinburgh, UK, July 15-19, 2010 proceedings
Material Type:
Livre
Ajouter à Mon espace

Computer aided verification : 22nd International conference, CAV 2010, Edinburgh, UK, July 15-19, 2010 proceedings

International conference on computer-aided verification International conference on computer-aided verification 22 July 15-19, 2010 Edimbourgh, Royaume-Uni CAV 2010 ; Touili, Tayssir (1976-....) ; Jackson, Paul, informaticien ; Cook, Byron

Berlin New York : Springer, 2010

Voir les exemplaires

17
Material Type:
Livre
Ajouter à Mon espace

A callgraph-based search strategy for automated performance diagnosis

Berlin Heidelberg : Springer, 2000

Voir les exemplaires

18
Material Type:
Livre
Ajouter à Mon espace

ANALYSIS OF POINTERS AND STRUCTURES.

S.L. : s.n., 1990

Voir les exemplaires

19
Material Type:
Livre
Ajouter à Mon espace

PARALLELIZATION IN THE PRESENCE OF POINTERS.

S.L. : s.n., 1990

Voir les exemplaires

20
Verification, model checking, and abstract interpretation : 8th International conference, VMCAI 2007 Nice, France, january 14-16, 2007. Proceedings
Material Type:
Livre
Ajouter à Mon espace

Verification, model checking, and abstract interpretation : 8th International conference, VMCAI 2007 Nice, France, january 14-16, 2007. Proceedings

Podelski, Andreas ; Cook, Byron

Berlin, Heidelberg : Springer, 2007

Voir les exemplaires

Résultats 1 2 3 next page

Personnaliser vos résultats

  1. Créer votre profil de recherche

Refine Search Results

Élargir la recherche

  1.   

N'afficher que

  1. Documents et objets physiques (58)
  2. Disponible (1)

Affiner les résultats

Type de ressource 

  1. Autres  (2)
  2. Livres  (54)
  3. Thèses  (4)
  4. Plus d’options open sub menu

Auteur 

  1. Association for Computing Machinery.Special Interest Group on Programming Languages, Etats Unis  (4)
  2. Association for Computing Machinery, États-Unis  (2)
  3. Institut Jean-Nicod ( IJN ) ; Département d'Etudes Cognitives - ENS Paris ( DEC ) ; École normale supérieure - Paris ( ENS Paris ) -École normale supérieure - Paris ( ENS Paris ) -École des hautes études en sciences sociales ( EHESS ) -Centre National de la Recherche Scientifique ( CNRS ) -Département de Philosophie - ENS Paris ; École normale supérieure - Paris ( ENS Paris )  (2)
  4. Cook, Byron  (2)
  5. Dokic , Jérome  (2)
  6. Association for computing machinery.Special interest group on computer architecture, États-Unis  (1)
  7. International Workshop on Languages and compilers for Parallel Computing 388492, 16th, 2003, College Station, Texas  (1)
  8. Alpuente, María  (1)
  9. Metcalf, Michael (1931-...)  (1)
  10. ACM SIGSOFT Symposium on the Foundations of Software Engineering 6, Lake Buena Vista, FL US, 1998  (1)
  11. Blackburn, Steve  (1)
  12. International conference, CC 2015, held as part of the joint european conferences on Theory and practice of software ETAPS 2015, 24, London, UK, April 11-18, 2015  (1)
  13. Podelski, Andreas  (1)
  14. VMCAI 2016 17th, St. Petersburg, FL, USA, January 17-19, 2016  (1)
  15. Inverardi, Paola  (1)
  16. CAV Conference, 18, Seattle, Wash., 2006  (1)
  17. Jobstmann, Barbara  (1)
  18. Puebla, Germán  (1)
  19. Computer aided verification International conference, 26, Vienna, Austria, July 18-22, 2014  (1)
  20. Pezzè, Mauro  (1)
  21. Plus d’options open sub menu

Date de publication 

À partir de jusqu'à
  1. Avant 1990  (5)
  2. 1990 à 1999  (10)
  3. 2000 à 2003  (21)
  4. 2004 à 2008  (15)
  5. Après 2008  (9)
  6. Plus d’options open sub menu

Recherche dans les bases de données distantes en cours. Merci de patienter.

  • Recherche
  • dansscope:(33PSL-CNSAD),scope:(33PSL-EHESS),scope:(33PSL-PSL_OMEKA),scope:(33PSL-MINES),scope:(33PSL-EFEO),scope:(33PSL-CNSMDP),scope:(33PSL-CHIMIE),scope:(33PSL),scope:("DAU"),scope:(33PSL-CDF),scope:(33PSL-ENS),scope:("33PSL-OBSERV"),scope:("33PSL-ESPCI"),scope:(33PSL-CURIE),scope:(33PSL-ENSBA),scope:("33PSL-ENC"),scope:(33PSL-PSL_STAR),scope:(33PSL-PSL_SFX),scope:("33PSL-EPHE"),scope:(33PSL-ENSAD),primo_central_multiple_fe
  • Afficher ce qui a déjà été récupéré