Programs as Data Objects
| Themengebiete: | EDV / Theorie / Programmieren / Datenstrukturen Objektorientiert (EDV) |
|---|---|
| Veröffentlichungsdatum: | 25.04.2001 |
| EAN: | 9783540420682 |
| Sprache: | Englisch |
| Seitenzahl: | 296 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Danvy, Olivier Filinski, Andrzej |
| Verlag: | Springer Springer-Verlag GmbH |
| Untertitel: | Second Symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001, Proceedings |
Produktinformationen "Programs as Data Objects"
Invited Opening Talk.- Program Analysis for Implicit Computational Complexity.- Contributed Papers.- Deriving Pre-conditions for Array Bound Check Elimination.- Type Systems for Useless-Variable Elimination.- Boolean Constraints for Binding-Time Analysis.- Constraint Abstractions.- Implementing Circularity Using Partial Evaluation.- Combining Forward And Backward Analyses of Temporal Properties.- Numerical Power Analysis.- Run-Time Bytecode Specialization.- A New Numerical Abstract Domain Based on Difference-Bound Matrices.- Partial Evaluation for Class-Based Object-Oriented Languages.- Driving in the Jungle.- Higher-Order Pattern Matching for Automatically Applying Fusion Transformations.- Dynamic Partial Evaluation.- Tag Elimination and Jones-Optimality.- Invited Closing Talk.- Bottom-Up Deduction with Deletion and Priorities.
Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen