Liebe Besucherinnen und Besucher,

heute ab 15 Uhr feiern wir unser Sommerfest und sind daher nicht erreichbar. Ab morgen sind wir wieder wie gewohnt für Sie da. Wir bitten um Ihr Verständnis – Ihr Team von Sack Fachmedien

Danvy / Filinski | Programs as Data Objects | E-Book | sack.de
E-Book

E-Book, Englisch, Band 2053, 286 Seiten, eBook

Reihe: Lecture Notes in Computer Science

Danvy / Filinski Programs as Data Objects

Second Symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001, Proceedings
Erscheinungsjahr 2003
ISBN: 978-3-540-44978-2
Verlag: Springer
Format: PDF
 Kopierschutz: 1 - PDF Watermark

Second Symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001, Proceedings

E-Book, Englisch, Band 2053, 286 Seiten, eBook

Reihe: Lecture Notes in Computer Science

ISBN: 978-3-540-44978-2
Verlag: Springer
Format: PDF
 Kopierschutz: 1 - PDF Watermark

Danvy / Filinski Programs as Data Objects jetzt bestellen!

Zielgruppe

Research

Autoren/Hrsg.

Danvy, Olivier
Filinski, Andrzej

Weitere Infos & Material

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.

Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.