Partial Evaluation : International Seminar, Dagstuhl Castle, Germany, February 12 16, 1996 : selected papers
Partial Evaluation has reached a point where theory and techniques have matured, substantial systems have been developed, and realistic applications can benefit from partial evaluation. This book is based on the International Seminar on Partial Evaluation held in Dagstuhl Castle, Germany in February...
Gorde:
| Erakunde egilea: | International Seminar on Partial Evaluation :Dagstuhl Castle, Allemagne |
|---|---|
| Beste egile batzuk: | Danvy, Olivier, 1960- (Argitalpenaren zuzendaria), Glück, Robert, 1961-...., informaticien (Argitalpenaren zuzendaria), Thiemann, Peter, 1964- (Argitalpenaren zuzendaria) |
| Formatua: | Livre numérique |
| Hizkuntza: | Anglais |
| Argitaratua: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Saila: | Lecture notes in computer science
1110 |
| Gaiak: | |
| Sarrera elektronikoa: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Oharra: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Partial Evaluation, International Seminar, Dagstuhl Castle, Germany, February 1996, selected papers, O. Danvy, R. Glück, P. Thiemann (eds.), 1996, Berlin, Springer, 1 vol. (XII-514 p.), Lecture notes in computer science, 3-540-61580-6 • Partial Evaluation, Texte imprimé, 9783662171998 |
Antzeko izenburuak
- Partial evaluation : practice and theory : DIKU 1998 International Summer School, Copenhagen, Denmark, June 29 July 10, 1998 (Livre numérique)
-
Domain-specific program generation : international seminar, Dagstuhl Castle, Germany, March 23-28, 2003 : revised papers
(Livre numérique)
Lengauer, Christian - Objects, agents, and features : international seminar, Dagstuhl Castle, Germany, February 16-21, 2003 : revised and invited papers (Livre numérique)
- Software visualization : International Seminar, Dagstuhl Castle, Germany, May 20 25, 2001 : revised papers (Livre numérique)
- Integrated formal methods : second international conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 : proceedings (Livre numérique)

