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

CONSTANT PROPAGATION WITH CONDITIONAL BRANCHES.

1990

Voir les exemplaires

2
Material Type:
Livre
Ajouter à Mon espace

Automatic detection of uninitialized variables

Nguyen, Thi Viet Nga (19..-) ; Ancourt, Corinne ; Irigoin, François (19..-) ; Coelho, Fabien

Berlin, Heidelberg : Springer, 2003

Voir les exemplaires

3
Material Type:
Livre
Ajouter à Mon espace

NSAD 2011 : The Third International Workshop on Numerical and Symbolic Abstract Domains Venice, September 13rd - Colocated with SAS 2011

S.L. : S.N., 2011

Voir les exemplaires

4
Material Type:
Livre
Ajouter à Mon espace

TVLA : a system for implementing static analyses

Berlin Heidelberg : Springer, 2000

Voir les exemplaires

5
Material Type:
Livre
Ajouter à Mon espace

Enabling sparse constant propagation of array elements via array SSA form

Berlin Heidelberg : Springer, 1998

Voir les exemplaires

6
Material Type:
Livre
Ajouter à Mon espace

EFFICIENT COMPUTATION OF FLOW INSENSITIVE INTERPROCEDURAL SUMMARY INFORMATION.

New York : ACM, 1984

Voir les exemplaires

7
Material Type:
Thèse
Ajouter à Mon espace

Compiling for distributed memory multiprocessors based on access region analysis

Urbana-Champaign IL : UNIV. ILLINOIS, 1997

Voir les exemplaires

8
Material Type:
Livre
Ajouter à Mon espace

DETECTING EQUALITY OF VARIABLES IN PROGRAMS.

Alpern, Bowen ; Wegman, Mark N. ; Zadeck, F.K.

s.l., 1987

Voir les exemplaires

9
Material Type:
Livre
Ajouter à Mon espace

CECIL : A SEQUENCING CONSTRAINT LANGUAGE FOR AUTOMATIC STATIC ANALYSIS GENERATIO- N

New York : IEEE, 1990

Voir les exemplaires

10
Material Type:
Livre
Ajouter à Mon espace

THE IMPACT OF INTERPROCEDURAL ANALYSIS AND OPTIMISATION ON THE DESIGNOF A SOFTWARE DEVELOPMENT ENVIRONMENT.

New York : ACM, 1985

Voir les exemplaires

11
Material Type:
Livre
Ajouter à Mon espace

Program analysis with partial transfer functions

New York : ACM, 2000

Voir les exemplaires

12
Material Type:
Livre
Ajouter à Mon espace

Cleanness checking of string manipulations in C programs via integer analysis

Berlin Heidelberg : Springer, 2001

Voir les exemplaires

13
Material Type:
Livre
Ajouter à Mon espace

Static analysis of mega-programs : (invited paper)

Berlin Heidelberg : Springer, 1999

Voir les exemplaires

14
Material Type:
Livre
Ajouter à Mon espace

Detecting equalities of variables : combining efficiency with precision

Berlin Heidelberg : Springer, 1999

Voir les exemplaires

15
Material Type:
Livre
Ajouter à Mon espace

Retargetable static timing analysis for embedded software

New York : ACM, 2001

Voir les exemplaires

16
Material Type:
Livre
Ajouter à Mon espace

INFORMATION-FLOW AND DATA-FLOW ANALYSIS OF WHILE-PROGRAMS.

New York : ACM, 1985

Voir les exemplaires

17
Material Type:
Livre
Ajouter à Mon espace

Symbolic range propagation

Urbana Illinois : UNIV. ILLINOIS, 1994

Voir les exemplaires

18
Material Type:
Versions multiples

ANALYSES SEMANTIQUES DE CONGRUENCE

Granger, Philippe ; Cousot, Patrick

Plusieurs versions trouvées
Il y a 2 versions

19
Material Type:
Livre
Ajouter à Mon espace

IMPROVING THE RESULTS OF STATIC ANALYSES OF PROGRAMS BY LOCAL DECREASING ITERATIONS.

S.L. : s.n., 1991

Voir les exemplaires

20
Material Type:
Livre
Ajouter à Mon espace

INDUCTIVE DEFINITIONS,SEMANTICS AND ABSTRACT INTERPRETATION.

S.L. : s.n., 1991

Voir les exemplaires

Résultats 1 2 3 4 5 next page

Personnaliser vos résultats

  1. Créer votre profil de recherche

Refine Search Results

Élargir la recherche

  1.   

Affiner les résultats

Type de ressource 

  1. Actes de conférence  (1)
  2. Articles  (55)
  3. Autres  (27)
  4. Livres  (334)
  5. Thèses  (50)
  6. Plus d’options open sub menu

Auteur 

  1. Association for Computing Machinery.Special Interest Group on Programming Languages, Etats Unis  (21)
  2. Association for Computing Machinery, États-Unis  (12)
  3. Charolles , Michel  (6)
  4. ACM.Special Interest Group on Programming Languages  (6)
  5. LaTTiCe - Langues, Textes, Traitements informatiques, Cognition - UMR 8094 ( LaTTICe ) ; Université Sorbonne Nouvelle - Paris 3-École normale supérieure - Paris ( ENS Paris ) -Université Sorbonne Paris Cité ( USPC ) -Centre National de la Recherche Scientifique ( CNRS ) -Paris Sciences et Lettres ( PSL )  (6)
  6. Gauvin, J  (6)
  7. Cognition, Langues, Langage, Ergonomie ( CLLE-ERSS ) ; École pratique des hautes études ( EPHE ) -Université Toulouse - Jean Jaurès ( UT2J ) -Université Bordeaux Montaigne-Centre National de la Recherche Scientifique ( CNRS )  (5)
  8. Maranda, P  (4)
  9. Jouvelot, Pierre (1958-...)  (4)
  10. Rastier, François (1945-...)  (4)
  11. ACM Sigsoft  (4)
  12. Cousot, Patrick  (4)
  13. Special group on algorithms and computation theory, Etats-Unis  (4)
  14. École nationale supérieure des mines, Paris  (3)
  15. École Nationale Supérieure des Mines de Paris  (3)
  16. ANR-06-BLAN-0162,SFA,Spatial Framing Adverbials : Linguistic and Psycholinguistic approaches ( 2006 )  (3)
  17. Université Paris-Dauphine  (3)
  18. ACM.Special Interest Group on Software Engineering  (3)
  19. Meltchouk, Igor Aleksandrovitch (1932-...)  (3)
  20. Association for computing machinery.Special interest group on computer architecture, États-Unis  (3)
  21. Bestgen, Yves  (2)
  22. Hu, Guangwei  (2)
  23. Wang, Jie  (2)
  24. Blavier, Adélaïde  (2)
  25. Veniard, Marie  (2)
  26. Née, Émilie  (2)
  27. Faulx, Daniel  (2)
  28. Lacaze, Grégoire  (2)
  29. Bilhaut, Frédérik  (1)
  30. Zweigenbaum, Pierre  (1)
  31. Masseron, Caroline  (1)
  32. Marie, Virginie  (1)
  33. Gomes Da Silva, Edvania  (1)
  34. Banks, David  (1)
  35. Popping, Roel  (1)
  36. Coqui, Guillaume  (1)
  37. Habert, Benoît  (1)
  38. Silberztein, Max  (1)
  39. Legalery, Jean-Louis  (1)
  40. Dunkhorst, Jean-Claude  (1)
  41. Plus d’options open sub menu

Date de publication 

À partir de jusqu'à
  1. Avant 1977  (25)
  2. 1977 à 1987  (41)
  3. 1988 à 1997  (120)
  4. 1998 à 2008  (179)
  5. Après 2008  (89)
  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é