Semantics, Applications, and Implementation of Program Generation
Springer Berlin (Verlag)
978-3-540-42558-8 (ISBN)
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.
Erscheint lt. Verlag | 23.8.2001 |
---|---|
Reihe/Serie | Lecture Notes in Computer Science |
Zusatzinfo | X, 226 p. |
Verlagsort | Berlin |
Sprache | englisch |
Maße | 155 x 235 mm |
Gewicht | 340 g |
Themenwelt | Mathematik / Informatik ► Informatik ► Programmiersprachen / -werkzeuge |
Mathematik / Informatik ► Informatik ► Software Entwicklung | |
Informatik ► Theorie / Studium ► Compilerbau | |
Schlagworte | Aspect-Oriented Programming • Hardcover, Softcover / Informatik, EDV/Programmiersprachen • HC/Informatik, EDV/Informatik • HC/Informatik, EDV/Programmiersprachen • implementation • Meta-Programming • Optimization • program analysis • Program Construction • program generation • programming • Programming Languages • Programming Logic • Programming Theory • Program Semantics • Program Transformation • Semantics |
ISBN-10 | 3-540-42558-6 / 3540425586 |
ISBN-13 | 978-3-540-42558-8 / 9783540425588 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
aus dem Bereich