Logic based program synthesis and transformation. 15th international symposium, LOPSTR 2005, London, UK, September 7--9, 2005. Revised selected papers. (Q2371884)

The articles of this volume will be reviewed individually. For the preceding symposium see Zbl 1133.68005. Indexed articles: \textit{Fages, François}, Temporal logic constraints in the biochemical abstract machine BIOCHAM, 1-5 [Zbl 1156.68377] \textit{Antoy, Sergio; Hanus, Michael}, Declarative programming with function patterns, 6-22 [Zbl 1156.68339] \textit{Pettorossi, Alberto; Proietti, Maurizio; Senni, Valerio}, Transformational verification of parameterized protocols using array formulas, 23-43 [Zbl 1156.68474] \textit{Simon, Luke; Mallya, Ajay; Gupta, Gopal}, Design and implementation of \(\mathcal A_T\): A real-time action description language, 44-60 [Zbl 1156.68479] \textit{Álvez, Javier; Lucio, Paqui}, An algorithm for local variable elimination in normal logic programs, 61-79 [Zbl 1156.68325] \textit{Ochoa, Claudio; Puebla, Germán; Hermenegildo, Manuel}, Removing superfluous versions in polyvariant specialization of Prolog programs, 80-97 [Zbl 1156.68328] \textit{Suenaga, Kohei; Kobayashi, Naoki; Yonezawa, Akinori}, Extension of type-based approach to generation of stream-processing programs by automatic insertion of buffering primitives, 98-114 [Zbl 1156.68362] \textit{Albert, Elvira; Puebla, Germán; Gallagher, John P.}, Non-leftmost unfolding in partial evaluation of logic programs with impure predicates, 115-132 [Zbl 1156.68324] \textit{Pasarella, Edelmira; Orejas, Fernando; Pino, Elvira; Navarro, Marisa}, A transformational semantics of static embedded implications of normal logic programs, 133-146 [Zbl 1156.68329] \textit{Gallagher, John P.; Puebla, Germán; Albert, Elvira}, Converting one type-based abstract domain to another, 147-162 [Zbl 1156.68327]