Domain-specific program generation : international seminar, Dagstuhl Castle, Germany, March 23-28, 2003 : revised papers
Program generation holds the promise of helping to bridge the gap between application-level problem solutions and efficient implementations at the level of today's source programs as written in C or Java. Thus, program generation can substantially contribute to reducing production cost and time...
Enregistré dans:
| Auteur principal: | |
|---|---|
| Collectivité auteur: | |
| Autres auteurs: | , |
| Format: | Livre numérique |
| Langue: | Anglais |
| Publié: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Collection: | Lecture notes in computer science
3016 |
| Sujets: | |
| Accès en ligne: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Note: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Domain-specific program generation, international seminar, Dagstuhl Castle, Germany, March 23-28, 2003, revised papers, Christian Lengauer, Don Batory ... [et al.] (Eds.), Berlin, Springer, 2004, 1 vol. (XII-324 p.), Lecture notes in computer science, 3-540-22119-0 • Domain-Specific Program Generation, Texte imprimé, 9783662161876 |
| LEADER | 04764nam a22004697a 4500 | ||
|---|---|---|---|
| 001 | 972756 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155229478 | ||
| 020 | |a 9783540259350 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 005.13 | ||
| 082 | |a 004 | ||
| 100 | 1 | |a Lengauer, Christian. | |
| 245 | 1 | 0 | |a Domain-specific program generation : |b international seminar, Dagstuhl Castle, Germany, March 23-28, 2003 : revised papers |c [edited by] Christian Lengauer, Don Batory, Charles Consel... [et al.]. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 3016 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a Surveys -- The Road to Utopia: A Future for Generative Programming -- From a Program Family to a Domain-Specific Language -- A Gentle Introduction to Multi-stage Programming -- DSL Implementation in MetaOCaml, Template Haskell, and C++ -- Program Optimization in the Domain of High-Performance Parallelism -- A Personal Outlook on Generator Research -- Domain-Specific Languages -- Generic Parallel Programming Using C++ Templates and Skeletons -- The Design of Hume: A High-Level Language for the Real-Time Embedded Systems Domain -- Embedding a Hardware Description Language in Template Haskell -- A DSL Paradigm for Domains of Services: A Study of Communication Services -- PiLib: A Hosted Language for Pi-Calculus Style Concurrency -- Tools for Program Generation -- A Language and Tool for Generating Efficient Virtual Machine Interpreters -- Program Transformation with Stratego/XT -- Retrofitting the AutoBayes Program Synthesis System with Concrete Syntax -- Domain-Specific Optimization -- Optimizing Sequences of Skeleton Calls -- Domain-Specific Optimizations of Composed Parallel Components -- Runtime Code Generation in C++ as a Foundation for Domain-Specific Optimisation -- Guaranteed Optimization for Domain-Specific Programming. | |
| 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 Program generation holds the promise of helping to bridge the gap between application-level problem solutions and efficient implementations at the level of today's source programs as written in C or Java. Thus, program generation can substantially contribute to reducing production cost and time-to-market in future software production, while improving the quality and stability of the product. This book is about domain-specific program generation; it is the outcome of a Dagstuhl seminar on the topic held in March 2003. After an introductory preface by the volume editors, the 18 carefully reviewed revised full papers presented are organized into topical sections on - surveys of domain-specific programming technologies - domain-specific programming languages - tool support for program generation - domain-specific techniques for program optimization. | ||
| 650 | |a Génie logiciel | ||
| 650 | |a Informatique | ||
| 650 | |a Langages de programmation | ||
| 650 | |a Ordinateurs | ||
| 650 | |a Logiciels |x Développement | ||
| 650 | |a Programmation parallèle (informatique) | ||
| 650 | |a Générateurs (logiciels) | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Batory, Don. |4 pbd | |
| 700 | 1 | |a Consel, Charles, |d 1960- |4 pbd | |
| 711 | 2 | |a Domain-specific, program generation : international seminar |d (2003 |c :Dagstuhl Castle, Germany). |4 aut | |
| 776 | 0 | |0 079262384 |t Domain-specific program generation |o international seminar, Dagstuhl Castle, Germany, March 23-28, 2003 |o revised papers |f Christian Lengauer, Don Batory ... [et al.] (Eds.) |c Berlin |n Springer |d 2004 |p 1 vol. (XII-324 p.) |s Lecture notes in computer science |z 3-540-22119-0 | |
| 776 | 0 | |t Domain-Specific Program Generation |b Texte imprimé |z 9783662161876 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/b98156 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-6R9FQJFV-2 |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:750633271 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/b98156 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:753989670 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/b98156 |z Accès INSA CVL | |
| 997 | |0 972756 |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/ | ||