Programs as data objects. 2nd symposium, PADO 2001, Aarhus, Denmark, May 21--23, 2001. Proceedings (Q5933587)

The articles of mathematical interest will be reviewed individually. The preceding symposium (1st, 1985) has been reviewed (see Zbl 0578.00007). Indexed articles: \textit{Jones, Neil D.}, Program analysis for implicit computational complexity, 1 [Zbl 0984.68656] \textit{Chin, Wei-Ngan; Khoo, Siau-Cheng; Xu, Dana N.}, Deriving pre-conditions for array bound check elimination, 2-24 [Zbl 0984.68501] \textit{Fischbach, Adam; Hannan, John}, Type systems for useless-variable elimination, 25-38 [Zbl 0984.68505] \textit{Glynn, Kevin; Stuckey, Peter J.; Sulzmann, Martin; Søndergaard, Harald}, Boolean constraints for binding-time analysis, 39-62 [Zbl 0984.68024] \textit{Gustavsson, Jörgen; Svenningsson, Josef}, Constraint abstractions, 63-83 [Zbl 0984.68035] \textit{Lawall, Julia L.}, Implementing circularity using partial evaluation, 84-102 [Zbl 0984.68503] \textit{Massé, Damien}, Combining forward and backward analyses of temporal properties, 103-116 [Zbl 0984.68107] \textit{Mastroeni, Isabella}, Numerical power analysis, 117-137 [Zbl 0986.68056] \textit{Masuhara, Hidehiko; Yonezawa, Akinori}, Run-time bytecode specialization. A portable approach to generating optimized specialized code, 138-154 [Zbl 0984.68670] \textit{Miné, Antoine}, A new numerical abstract domain based on difference-bound matrices, 155-172 [Zbl 0984.68034] \textit{Schultz, Ulrik P.}, Partial evaluation for class-based object-oriented languages, 173-197 [Zbl 0984.68653] \textit{Secher, Jens Peter}, Driving in the jungle, 198-217 [Zbl 0984.68025] \textit{Sittampalam, Ganesh; de Moor, Oege}, Higher-order pattern matching for automatically applying fusion transformations, 218-237 [Zbl 0984.68502] \textit{Sullivan, Gregory T.}, Dynamic partial evaluation, 238-256 [Zbl 0986.68019] \textit{Taha, Walid; Makholm, Henning; Hughes, John}, Tag elimination and Jones-optimality. (Preliminary report), 257-275 [Zbl 0984.68504] \textit{Ganzinger, Harald}, Bottom-up deduction with deletion and priorities, 276-277 [Zbl 0984.68641]