Programs as Data Objects : Second Symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001, Proceedings / / edited by Olivier Danvy, Andrzej Filinski
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Titolo: |
Programs as Data Objects : Second Symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001, Proceedings / / edited by Olivier Danvy, Andrzej Filinski
|
| Pubblicazione: | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 |
| Edizione: | 1st ed. 2001. |
| Descrizione fisica: | 1 online resource (X, 286 p.) |
| Disciplina: | 005.3 |
| Soggetto topico: | Computer logic |
| Data structures (Computer science) | |
| Application software | |
| Programming languages (Electronic computers) | |
| Mathematical logic | |
| Software engineering | |
| Logics and Meanings of Programs | |
| Data Structures and Information Theory | |
| Computer Applications | |
| Programming Languages, Compilers, Interpreters | |
| Mathematical Logic and Formal Languages | |
| Software Engineering | |
| Persona (resp. second.): | DanvyOlivier |
| FilinskiAndrzej | |
| Note generali: | Bibliographic Level Mode of Issuance: Monograph |
| Nota di bibliografia: | Includes bibliographical references and index. |
| Nota di contenuto: | 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. |
| Titolo autorizzato: | Programs as data objects |
| ISBN: | 3-540-44978-7 |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 9910143604203321 |
| Lo trovi qui: | Univ. Federico II |
| Opac: | Controlla la disponibilità qui |
Serie:
Lecture Notes in Computer Science, . 0302-9743 ; ; 2053