Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Domain-Specific Program Generation [[electronic resource] ] : International Seminar, Dagstuhl Castle, Germany, March 23-28, 2003, Revised Papers / / edited by Christian Lengauer, Don Batory, Charles Consel, Martin Odersky
| Domain-Specific Program Generation [[electronic resource] ] : International Seminar, Dagstuhl Castle, Germany, March 23-28, 2003, Revised Papers / / edited by Christian Lengauer, Don Batory, Charles Consel, Martin Odersky |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (XII, 332 p.) |
| Disciplina | 005.13 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Computer programming Programming languages (Electronic computers) Software Engineering/Programming and Operating Systems Programming Techniques Software Engineering Programming Languages, Compilers, Interpreters |
| ISBN |
1-280-30772-2
9786610307722 3-540-25935-X |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 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. |
| Record Nr. | UNISA-996466227603316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Domain-Specific Program Generation : International Seminar, Dagstuhl Castle, Germany, March 23-28, 2003, Revised Papers / / edited by Christian Lengauer, Don Batory, Charles Consel, Martin Odersky
| Domain-Specific Program Generation : International Seminar, Dagstuhl Castle, Germany, March 23-28, 2003, Revised Papers / / edited by Christian Lengauer, Don Batory, Charles Consel, Martin Odersky |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (XII, 332 p.) |
| Disciplina | 005.13 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Computer programming Programming languages (Electronic computers) Software Engineering/Programming and Operating Systems Programming Techniques Software Engineering Programming Languages, Compilers, Interpreters |
| ISBN |
1-280-30772-2
9786610307722 3-540-25935-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 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. |
| Record Nr. | UNINA-9910144156303321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Generative Programming and Component Engineering [[electronic resource] ] : ACM SIGPLAN/SIGSOFT Conference, GPCE 2002, Pittsburgh, PA, USA, October 6-8, 2002. Proceedings / / edited by Don Batory, Charles Consel, Walid Taha
| Generative Programming and Component Engineering [[electronic resource] ] : ACM SIGPLAN/SIGSOFT Conference, GPCE 2002, Pittsburgh, PA, USA, October 6-8, 2002. Proceedings / / edited by Don Batory, Charles Consel, Walid Taha |
| Edizione | [1st ed. 2002.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
| Descrizione fisica | 1 online resource (VIII, 338 p.) |
| Disciplina | 005.1/1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Management information systems Computer science Application software Computer programming Programming languages (Electronic computers) Software Engineering/Programming and Operating Systems Software Engineering Management of Computing and Information Systems Computer Appl. in Administrative Data Processing Programming Techniques Programming Languages, Compilers, Interpreters |
| ISBN | 3-540-45821-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Program Generation, Termination, and Binding-Time Analysis -- Generative Programming for Embedded Systems -- Regular Papers -- Self Reflection for Adaptive Programming -- DataScript- A Specification and Scripting Language for Binary Data -- Memoization in Type-Directed Partial Evaluation -- A Protocol Stack Development Tool Using Generative Programming -- Building Composable Aspect-Specific Languages with Logic Metaprogramming -- Architectural Refactoring in Framework Evolution: A Case Study -- Towards a Modular Program Derivation via Fusion and Tupling -- Generative Programming for Embedded Software: An Industrial Experience Report -- A Framework for the Detection and Resolution of Aspect Interactions -- Aspect-Oriented Modeling: Bridging the Gap between Implementation and Design -- Macros That Compose: Systematic Macro Programming -- Program Termination Analysis in Polynomial Time -- Generators for Synthesis of QoS Adaptation in Distributed Real-Time Embedded Systems -- Optimizing Content Management System Pipelines Separation and Merging of Concerns -- Component-Based Programming for Higher-Order Attribute Grammars -- Altering Java Semantics via Bytecode Manipulation -- Meta-programming with Concrete Object Syntax -- Managing Dynamic Changes in Multi-stage Program Generation Systems. |
| Record Nr. | UNISA-996465422403316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Generative Programming and Component Engineering : ACM SIGPLAN/SIGSOFT Conference, GPCE 2002, Pittsburgh, PA, USA, October 6-8, 2002. Proceedings / / edited by Don Batory, Charles Consel, Walid Taha
| Generative Programming and Component Engineering : ACM SIGPLAN/SIGSOFT Conference, GPCE 2002, Pittsburgh, PA, USA, October 6-8, 2002. Proceedings / / edited by Don Batory, Charles Consel, Walid Taha |
| Edizione | [1st ed. 2002.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
| Descrizione fisica | 1 online resource (VIII, 338 p.) |
| Disciplina | 005.1/1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Management information systems Computer science Application software Computer programming Programming languages (Electronic computers) Software Engineering/Programming and Operating Systems Software Engineering Management of Computing and Information Systems Computer Appl. in Administrative Data Processing Programming Techniques Programming Languages, Compilers, Interpreters |
| ISBN | 3-540-45821-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Program Generation, Termination, and Binding-Time Analysis -- Generative Programming for Embedded Systems -- Regular Papers -- Self Reflection for Adaptive Programming -- DataScript- A Specification and Scripting Language for Binary Data -- Memoization in Type-Directed Partial Evaluation -- A Protocol Stack Development Tool Using Generative Programming -- Building Composable Aspect-Specific Languages with Logic Metaprogramming -- Architectural Refactoring in Framework Evolution: A Case Study -- Towards a Modular Program Derivation via Fusion and Tupling -- Generative Programming for Embedded Software: An Industrial Experience Report -- A Framework for the Detection and Resolution of Aspect Interactions -- Aspect-Oriented Modeling: Bridging the Gap between Implementation and Design -- Macros That Compose: Systematic Macro Programming -- Program Termination Analysis in Polynomial Time -- Generators for Synthesis of QoS Adaptation in Distributed Real-Time Embedded Systems -- Optimizing Content Management System Pipelines Separation and Merging of Concerns -- Component-Based Programming for Higher-Order Attribute Grammars -- Altering Java Semantics via Bytecode Manipulation -- Meta-programming with Concrete Object Syntax -- Managing Dynamic Changes in Multi-stage Program Generation Systems. |
| Record Nr. | UNINA-9910143898403321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||