×

zbMATH — the first resource for mathematics

Logic-based program synthesis and transformation. 17th international symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23–24, 2007. Revised selected papers. (English) Zbl 1154.68018
Lecture Notes in Computer Science 4915. Berlin: Springer (ISBN 978-3-540-78768-6/pbk). x, 219 p. (2008).

Show indexed articles as search result.

The articles of this volume will be reviewed individually. The preceding symposium has been reviewed (see Zbl 1116.68007).
Indexed articles:
Codish, Michael, Proving termination with (Boolean) satisfaction, 1-7 [Zbl 1179.68034]
Nguyen, Manh Thang; Giesl, Jürgen; Schneider-Kamp, Peter; De Schreye, Danny, Termination analysis of logic programs based on dependency graphs, 8-22 [Zbl 1179.68040]
Albert, Elvira; Gallagher, John; Gómez-Zamalloa, Miguel; Puebla, Germán, Type-based homeomorphic embedding and its applications to online partial evaluation, 23-42 [Zbl 1179.68031]
Degrave, François; Vanhoof, Wim, Towards a normal form for Mercury programs, 43-58 [Zbl 1179.68035]
Van Weert, Peter; Sneyers, Jon; Demoen, Bart, Aggregates for CHR through program transformation, 59-73 [Zbl 1179.68041]
Fischer, Sebastian; Silva, Josep; Tamarit, Salvador; Vidal, Germán, Preserving sharing in the partial evaluation of lazy functional programs, 74-89 [Zbl 1179.68036]
Braßel, Bernd; Christiansen, Jan, Denotation by transformation. Towards obtaining a denotational semantics by transformation to point-free style, 90-105 [Zbl 1179.68032]
Abdennadher, Slim; Sobhi, Ingi, Generation of rule-based constraint solvers: Combined approach, 106-120 [Zbl 1179.68021]
Zhang, Ye; Nielson, Flemming, A scalable inclusion constraint solver using unification, 121-137 [Zbl 1179.68042]
Casas, Amadeo; Carro, Manuel; Hermenegildo, Manuel V., Annotation algorithms for unrestricted independent and-parallelism in logic programs, 138-153 [Zbl 1179.68022]
Méndez-Lojo, Mario; Navas, Jorge; Hermenegildo, Manuel V., A flexible, (C)LP-based approach to the analysis of object-oriented programs, 154-168 [Zbl 1179.68030]
Ferrari, Mauro; Fiorentini, Camillo; Momigliano, Alberto; Ornaghi, Mario, Snapshot generation in a constructive object-oriented modeling language, 169-184 [Zbl 1179.68029]
Poernomo, Iman, Synthesis of data views for communicating processes, 185-200 [Zbl 1179.68026]
Bossi, Annalisa; Piazza, Carla; Rossi, Sabina, Action refinement in process algebra and security issues, 201-217 [Zbl 1179.68100]

MSC:
68-06 Proceedings, conferences, collections, etc. pertaining to computer science
68N30 Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
00B25 Proceedings of conferences of miscellaneous specific interest
PDF BibTeX XML Cite
Full Text: DOI