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...
Gardado en:
| Autor Corporativo: | |
|---|---|
| Outros autores: | , , |
| Formato: | Livre numérique |
| Idioma: | Anglais |
| Publicado: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Series: | Lecture notes in computer science
1110 |
| Sujets: | |
| Acceso en liña: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
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 |
| LEADER | 04781nam a22004217a 4500 | ||
|---|---|---|---|
| 001 | 944955 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155208691 | ||
| 020 | |a 9783540705895 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 111 | 2 | |a International Seminar on Partial Evaluation |d (1996 |c :Dagstuhl Castle, Allemagne). | |
| 245 | 1 | 0 | |a Partial Evaluation : |b International Seminar, Dagstuhl Castle, Germany, February 12 16, 1996 : selected papers |c [edited by] Olivier Danvy, Robert Glück, Peter Thiemann. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 1110 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a An automatic interprocedural analysis for the understanding of scientific application programs -- Practical aspects of specialization of Algol-like programs -- Synchronization analyses for multiple recursion parameters -- A uniform approach for compile-time and run-time specialization -- Pragmatics of type-directed partial evaluation -- Compiler generation for interactive graphics using intermediate code -- Regular approximation of computation paths in logic and functional languages -- A roadmap to metacomputation by supercompilation -- Reasoning about hierarchies of online program specialization systems -- Type specialisation for the ?-calculus; or, a new paradigm for partial evaluation based on type inference -- What not to do when writing an interpreter for specialisation -- Efficiently generating efficient generating extensions in prolog -- Global control for partial deduction through characteristic atoms and global trees -- Squeezing intermediate construction in equational programs -- Evolution of partial evaluators: Removing inherited limits -- A Self-Applicable supercompiler -- Multi-Level Lambda-Calculi: An algebraic description -- A comparative revisitation of some program transformation techniques -- A theory of logic program specialization and generalization for dealing with input data properties -- Program specialization via program slicing -- Specialization of imperative programs through analysis of relational expressions -- ML pattern match compilation and partial evaluation -- Self-applicable online partial evaluation -- Metacomputation: Metasystem transitions plus supercompilation. | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 520 | |a 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 1996. The 24 strictly refereed full papers included evaluate the progress achieved in the field during the last decade. Also included is a detailed preface by the volume editors and a subject index. All in all, this book competently reports the state of the art and future perspectives in partial evaluation and is thus compulsory reading for anybody interested in the area. | ||
| 650 | |a Informatique | ||
| 650 | |a Langages de programmation | ||
| 650 | |a Ordinateurs | ||
| 650 | |a Logiciels |x Maintenance | ||
| 650 | |a Évaluation des logiciels | ||
| 700 | 1 | |a Danvy, Olivier, |d 1960- |4 pbd | |
| 700 | 1 | |a Glück, Robert, |d 1961-...., |c informaticien. |4 pbd | |
| 700 | 1 | |a Thiemann, Peter, |d 1964- |4 pbd | |
| 776 | 0 | |0 02599221X |t Partial Evaluation |o International Seminar, Dagstuhl Castle, Germany, February 1996 |o selected papers |f O. Danvy, R. Glück, P. Thiemann (eds.) |d 1996 |c Berlin |n Springer |p 1 vol. (XII-514 p.) |s Lecture notes in computer science |z 3-540-61580-6 | |
| 776 | 0 | |t Partial Evaluation |b Texte imprimé |z 9783662171998 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-61580-6 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-80P9PQ2P-0 |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:747914958 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-61580-6 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:750927623 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-61580-6 |z Accès INSA CVL | |
| 997 | |0 944955 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||