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.
Generative Programming and Component Engineering : Second International Conference, GPCE 2003, Erfurt, Germany, September 22-25, 2003, Proceedings / / edited by Frank Pfenning, Yannis Smaragdakis
| Generative Programming and Component Engineering : Second International Conference, GPCE 2003, Erfurt, Germany, September 22-25, 2003, Proceedings / / edited by Frank Pfenning, Yannis Smaragdakis |
| Edizione | [1st ed. 2003.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
| Descrizione fisica | 1 online resource (IX, 397 p.) |
| Disciplina | 005.11 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Computer programming Programming languages (Electronic computers) Application software Management information systems Computer science Software Engineering/Programming and Operating Systems Software Engineering Programming Techniques Programming Languages, Compilers, Interpreters Computer Appl. in Administrative Data Processing Management of Computing and Information Systems |
| ISBN | 3-540-39815-5 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Domain-Specific Languages -- Spidle: A DSL Approach to Specifying Streaming Applications -- TDL: A Hardware Description Language for Retargetable Postpass Optimizations and Analyses -- Hume: A Domain-Specific Language for Real-Time Embedded Systems -- Staged Programming -- Implementing Multi-stage Languages Using ASTs, Gensym, and Reflection -- On Stage Ordering in Staged Computation -- Staged Notational Definitions -- Invited Talk -- A Journey from Interpreters to Compilers and Virtual Machines -- Modeling to Code -- DAOP-ADL: An Architecture Description Language for Dynamic Component and Aspect-Based Development -- ANEMIC: Automatic Interface Enabler for Model Integrated Computing -- Aspect-Orientation -- An Approach for Supporting Aspect-Oriented Domain Modeling -- The Convergence of AOP and Active Databases: Towards Reactive Middleware -- A Selective, Just-in-Time Aspect Weaver -- Meta-programming and Language Extension -- An Extension to the Subtype Relationship in C++ Implemented with Template Metaprogramming -- Concept-Controlled Polymorphism -- Component-Based DSL Development -- Invited Talk -- Towards a More Piece-ful World -- Automating Design-to-Code Transitions -- A Generative Approach to Framework Instantiation -- Making Patterns Explicit with Metaprogramming -- Principled Domain-Specific Approaches -- Generating Spreadsheet-Like Tools from Strong Attribute Grammars -- SynchNet: A Petri Net Based Coordination Language for Distributed Objects -- Partial Evaluation of MATLAB -- Generation and Translation -- An Easy-to-Use Toolkit for Efficient Java Bytecode Translators -- A Case for Test-Code Generation in Model-Driven Systems. |
| Altri titoli varianti | GPCE '03 |
| Record Nr. | UNISA-996465798703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Generative Programming and Component Engineering : Second International Conference, GPCE 2003, Erfurt, Germany, September 22-25, 2003, Proceedings / / edited by Frank Pfenning, Yannis Smaragdakis
| Generative Programming and Component Engineering : Second International Conference, GPCE 2003, Erfurt, Germany, September 22-25, 2003, Proceedings / / edited by Frank Pfenning, Yannis Smaragdakis |
| Edizione | [1st ed. 2003.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
| Descrizione fisica | 1 online resource (IX, 397 p.) |
| Disciplina | 005.11 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Computer programming Programming languages (Electronic computers) Application software Management information systems Computer science Software Engineering/Programming and Operating Systems Software Engineering Programming Techniques Programming Languages, Compilers, Interpreters Computer Appl. in Administrative Data Processing Management of Computing and Information Systems |
| ISBN | 3-540-39815-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Domain-Specific Languages -- Spidle: A DSL Approach to Specifying Streaming Applications -- TDL: A Hardware Description Language for Retargetable Postpass Optimizations and Analyses -- Hume: A Domain-Specific Language for Real-Time Embedded Systems -- Staged Programming -- Implementing Multi-stage Languages Using ASTs, Gensym, and Reflection -- On Stage Ordering in Staged Computation -- Staged Notational Definitions -- Invited Talk -- A Journey from Interpreters to Compilers and Virtual Machines -- Modeling to Code -- DAOP-ADL: An Architecture Description Language for Dynamic Component and Aspect-Based Development -- ANEMIC: Automatic Interface Enabler for Model Integrated Computing -- Aspect-Orientation -- An Approach for Supporting Aspect-Oriented Domain Modeling -- The Convergence of AOP and Active Databases: Towards Reactive Middleware -- A Selective, Just-in-Time Aspect Weaver -- Meta-programming and Language Extension -- An Extension to the Subtype Relationship in C++ Implemented with Template Metaprogramming -- Concept-Controlled Polymorphism -- Component-Based DSL Development -- Invited Talk -- Towards a More Piece-ful World -- Automating Design-to-Code Transitions -- A Generative Approach to Framework Instantiation -- Making Patterns Explicit with Metaprogramming -- Principled Domain-Specific Approaches -- Generating Spreadsheet-Like Tools from Strong Attribute Grammars -- SynchNet: A Petri Net Based Coordination Language for Distributed Objects -- Partial Evaluation of MATLAB -- Generation and Translation -- An Easy-to-Use Toolkit for Efficient Java Bytecode Translators -- A Case for Test-Code Generation in Model-Driven Systems. |
| Altri titoli varianti | GPCE '03 |
| Record Nr. | UNINA-9910144042103321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
OOPSLA '16 : proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications : November 2-4, 2016, Amsterdam, Netherlands / / edited by Eelco Visser and Yannis Smaragdakis ; sponsored by ACM SIGPLAN
| OOPSLA '16 : proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications : November 2-4, 2016, Amsterdam, Netherlands / / edited by Eelco Visser and Yannis Smaragdakis ; sponsored by ACM SIGPLAN |
| Pubbl/distr/stampa | New York : , : ACM, , 2016 |
| Descrizione fisica | 1 online resource (110 pages) |
| Disciplina | 005.117 |
| Soggetto topico | Object-oriented programming (Computer science) |
| Soggetto genere / forma | Electronic books. |
| ISBN | 1-4503-4444-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
Object-Oriented Programming, Systems, Languages, and Applications 2016 : proceedings of the 2016 Association for Computing Machinery Special Interest Group on Programming Languages International Conference on Object-Oriented Programming, Systems, Languages, and Applications : November 2-4, 2016, Amsterdam, Netherlands
Proceedings of the 2016 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences Proceedings of the 2016 Association for Computing Machinery Special Interest Group on Programming Languages International Conference on Generative Programming: Concepts and Experiences SPLASH '16 : Conference on Systems, Programming, Languages, and Applications: Software for Humanity : Amsterdam, Netherlands, October 30-December 31, 2016 Systems, Programming, Languages, and Applications: Software for Humanity 2016 |
| Record Nr. | UNINA-9910376442903321 |
| New York : , : ACM, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Proceedings of the 31st ACM SIGSOFT international symposium on software testing and analysis / / Sukyoung Ryu, Yannis Smaragdakis [editors]
| Proceedings of the 31st ACM SIGSOFT international symposium on software testing and analysis / / Sukyoung Ryu, Yannis Smaragdakis [editors] |
| Pubbl/distr/stampa | New York, New York : , : Association for Computing Machinery, , 2022 |
| Descrizione fisica | 1 online resource (808 pages) |
| Disciplina | 005.1 |
| Soggetto topico | Computer software |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910585590403321 |
| New York, New York : , : Association for Computing Machinery, , 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||