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

Analyse de programmes, évaluation partielle et génération de compilateurs

Paris : Université Paris VI Pierre & Marie-Curie, 1989

Voir les exemplaires

2
Material Type:
Thèse
Ajouter à Mon espace

ANALYSES STATIQUES POUR LA SPECIALISATION EFFECTIVE DE PROGRAMMES REALISTES

HORNOF, LUKE ; Consel, Charles

S.l. : s.n., 1997

Voir les exemplaires

3
Material Type:
Thèse
Ajouter à Mon espace

Vers une formalisation de l'évaluation partielle

Sophia-Antipolis : Université de Nice, 1994

Voir les exemplaires

4
Partial evaluation and mixed computation : proceedings ..
Material Type:
Acte de conférence
Ajouter à Mon espace

Partial evaluation and mixed computation : proceedings ..

IFIP TC2 Workshop on Partial Evaluation and Mixed Computation Avernaes 1987. ; Bjorner, Dines ; Ershov, Andrei P. ; Jones, Neil D. (1941-....) ; International Federation for Information Processing.

Amsterdam New York NY Oxford : North-Holland, 1987

Voir les exemplaires

5
Material Type:
Livre
Ajouter à Mon espace

Evaluation partielle: principes, pratique et applications

S.L. : s.n., 1991

Voir les exemplaires

6
Material Type:
Thèse
Ajouter à Mon espace

Program analysis and specialization for the C programming language

Andersen, Lars Ole

Copenhagen : s.n., 1994

Voir les exemplaires

7
Material Type:
Livre
Ajouter à Mon espace

Annotated type systems for program analysis

Aarhus DNK : COMPUTER SCIENCE DEPARTMENT, 1995

Voir les exemplaires

8
Material Type:
Thèse
Ajouter à Mon espace

Une approche uniforme à la spécialisation de programmes et à la spécialisation de données

Rennes : Université de Rennes 1, 2000

Voir les exemplaires

9
Material Type:
Thèse
Ajouter à Mon espace

LANGAGES DEDIES : CONCEPTION, IMPLEMENTATION ET APPLICATION

THIBAULT, SCOTT ; Consel, Charles

S.l. : s.n., 1998

Voir les exemplaires

10
Material Type:
Livre
Ajouter à Mon espace

Parial evaluation and semantics-based program manipulation : proceedings

ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation Boston, MA US 2000 ; ACM Special Interest Group on Programming Languages

New York : ACM Press, 2000

Voir les exemplaires

11
Material Type:
Thèse
Ajouter à Mon espace

Une approche automatique à la spécialisation de composants système

Rennes FRA : s.n., 1998

Voir les exemplaires

12
ACM SIGPLAN ASIA-PEPM 2002 : the ASIAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation conference record papers presented at the symposium, Aizu, Japan, September 12-14, 2002
Material Type:
Livre
Ajouter à Mon espace

ACM SIGPLAN ASIA-PEPM 2002 : the ASIAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation conference record papers presented at the symposium, Aizu, Japan, September 12-14, 2002

ASIAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation ASIAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation Aizu, Japan 2002 ; Association for Computing Machinery Special Interest Group on Programming Languages Etats Unis

New York, N.Y. : ACM Press, 2002

Voir les exemplaires

13
Material Type:
Thèse
Ajouter à Mon espace

Partial evaluation using dependence graphs

Madison USA : University of Wisconsin-Madison, 1998

Voir les exemplaires

14
Material Type:
Livre
Ajouter à Mon espace

ACM Sigplan workshop on partial evaluation and semantic-based program manipulation (PEPM'92) : Fairmont hotel, San Francisco, CA, USA, june 19-20, 1992

New Haven CT : Yale university, 1992

Voir les exemplaires

15
Material Type:
Livre
Ajouter à Mon espace

Towards integrating adaptation into the development of real-size applications : a selection of representative publications

Rennes : IRISA, 2000

Voir les exemplaires

16
Partial evaluation and semantics-based program manipulation
Material Type:
Livre
Ajouter à Mon espace

Partial evaluation and semantics-based program manipulation

New York : ACM SIGPLAN, 1995

Voir les exemplaires

17
Proceedings of the 2002 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation : (PEPM'02) Portland, Oregon, USA, January 14-15, 2002
Material Type:
Livre
Ajouter à Mon espace

Proceedings of the 2002 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation : (PEPM'02) Portland, Oregon, USA, January 14-15, 2002

ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation Portland, Oregon 2002 ; Association for Computing Machinery 429134 Etats Unis Special Interest Group on Programming Languages 070

New York, N. Y. : Association for Computing Machinery, 2002

Voir les exemplaires

18
Material Type:
Livre
Ajouter à Mon espace

Proceedings of the ACM Sigplan symposium on principles and practice of parallel programming (PPoPP 2003) and Workshop on partial evaluation and semantic-based program manipulation (PEPM 2003)

New York : ACM Press, 2003

Voir les exemplaires

19
Partial Evaluation International Seminar, Dagstuhl Castle, Germany, February 1996 : selected papers
Material Type:
Livre
Ajouter à Mon espace

Partial Evaluation International Seminar, Dagstuhl Castle, Germany, February 1996 : selected papers

Partial Evaluation International Seminar Partial Evaluation International Seminar Dagstuhl Castle 1996 ; Danvy, Olivier ; Glück, R. (1961-) Robert ; Thiemann, P. (1964-) Peter

Berlin New York : Springer, 1996

Voir les exemplaires

20
Conference record of POPL '96, 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages : papers presented at the Symposium St. Petersburg Beach, Florida, 21-24 January 1996
Material Type:
Livre
Ajouter à Mon espace

Conference record of POPL '96, 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages : papers presented at the Symposium St. Petersburg Beach, Florida, 21-24 January 1996

ACM Symposium on Principles of Programming Languages ACM Symposium on Principles of Programming Languages 23rd St. Petersburg Beach, Florida 1996 ; ACM Special Interest Group for Algorithms and Computation Theory ; Association for Computing Machinery Special Interest Group on Programming Languages Etats Unis ; Association for Computing Machinery États-Unis

New York : ACM Press, c1996

Voir les exemplaires

Résultats 1 2 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  (3)
  3. Livres  (15)
  4. Thèses  (8)
  5. Plus d’options open sub menu

Date de publication 

À partir de jusqu'à
  1. Avant 1992  (3)
  2. 1992 à 1995  (5)
  3. 1996 à 1998  (8)
  4. 1999 à 2003  (8)
  5. Après 2003  (3)
  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é