Semantics, applications, and implementation of program generation : second international workshop, SAIG 2001, Florence, Italy, September 6, 2001 : proceedings
This volume constitutes the proceedings of the second International Workshop on the Semantics, Applications, and Implementation of Program Generation (SAIG 2001)held on 6 September, 2001, in Florence, Italy. SAIG 2001 was held as an ACM SIGPLAN workshop co-located with the International Conference o...
Сохранить в:
| Соавтор: | |
|---|---|
| Другие авторы: | |
| Формат: | Livre numérique |
| Язык: | Anglais |
| Опубликовано: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Серии: | Lecture notes in computer science
2196 |
| Предметы: | |
| Online-ссылка: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Примечание: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Semantics, applications, and implementation of program generation, second international workshop, SAIG 2001, Florence, Italy, September 6, 2001, proceedings, Walid Taha (ed.), 2001, New York, Springer, 1 vol. (X-218 p.), Lecture notes in computer science, 3-540-42558-6 • Semantics, Applications, and Implementation of Program Generation, Texte imprimé, 9783662161999 |
Оглавление:
- Invited Talks
- Generative Programming and Software System Families
- Accomplishments and Research Challenges in Meta-programming
- A Semantics for Advice and Dynamic Join Points in Aspect-Oriented Programming
- Technical Papers
- Short Cut Fusion: Proved and Improved
- Generation of Efficient Programs for Solving Maximum Multi-marking Problems
- Static Transition Compression
- A Unifying Approach to Goal-Directed Evaluation
- Integrating Partial Evaluators into Interpreters
- A Design Methodology for Functional Programs
- Dynamically Adaptable Software with Metacomputations in a Staged Language
- Position Papers
- MetaKlaim: Meta-programming for Global Computing
- A Transformational Approach which Combines Size Inference and Program Optimization.