Vai al contenuto principale della pagina

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 Visualizza cluster
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  Visualizza cluster
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