Artículos relacionados a Logic Program Synthesis and Transformation: 7Th Internationa...
Logic Program Synthesis and Transformation: 7Th International Workshop, Lopstr'97, Leuven, Belgium, July 10-12, 1997, Proceedings (Lecture Notes In Computer Science): 1463 - Tapa blanda
Sinopsis
This volume contains the papers from the Seventh International Workshop on Logic Program Synthesis and Transformation, LOPSTR '97, that took place in Leuven, Belgium, on July 10-12, 1997, 'back to back' with the Fourteenth International Conference on Logic Programming, ICLP '97. Both ICLP and LOPSTR were organised by the K.U. Leuven Department of Computer Science. LOPSTR '97 was sponsored by Compulog Net and by the Flanders Research Network on Declarative Methods in Computer Science. LOPSTR '97 had 39 participants from 13 countries. There were two invited talks by Wolfgang Bibel (Darmstadt) on 'A multi level approach to program synthesis', and by Henning Christiansen (Roskilde) on 'Implicit program synthesis by a reversible metainterpreter'. Extended versions of both talks appear in this volume. There were 19 technical papers accepted for presentation at LOPSTR '97, out of 33 submissions. Of these, 15 appear in extended versions in this volume. Their topics range over the fields of program synthesis, program transformation, program analysis, tabling, metaprogramming, and inductive logic programming.
"Sinopsis" puede pertenecer a otra edición de este libro.
Reseña del editor
This volume contains the papers from the Seventh International Workshop on Logic Program Synthesis and Transformation, LOPSTR '97, that took place in Leuven, Belgium, on July 10-12, 1997, 'back to back' with the Fourteenth International Conference on Logic Programming, ICLP '97. Both ICLP and LOPSTR were organised by the K.U. Leuven Department of Computer Science. LOPSTR '97 was sponsored by Compulog Net and by the Flanders Research Network on Declarative Methods in Computer Science. LOPSTR '97 had 39 participants from 13 countries. There were two invited talks by Wolfgang Bibel (Darmstadt) on 'A multi level approach to program synthesis', and by Henning Christiansen (Roskilde) on 'Implicit program synthesis by a reversible metainterpreter'. Extended versions of both talks appear in this volume. There were 19 technical papers accepted for presentation at LOPSTR '97, out of 33 submissions. Of these, 15 appear in extended versions in this volume. Their topics range over the fields of program synthesis, program transformation, program analysis, tabling, metaprogramming, and inductive logic programming.
Reseña del editor
This book constitutes the strictly refereed post-workshop proceedings of the 7th International Workshop on Logic Program Synthesis and Transformation, LOPSTR'97, held in Leuven, Belgium, in July 1997.The 15 revised full papers presented have been through two rounds of reviewing and selection from a total of initially 33 submissions. The topics addressed include program synthesis, program transformation, program analysis, tabling, metaprogramming, and inductive logic programming.
"Sobre este título" puede pertenecer a otra edición de este libro.
- EditorialSpringer
- Año de publicación1998
- ISBN 10 3540650741
- ISBN 13 9783540650744
- EncuadernaciónTapa blanda
- IdiomaInglés
- Número de páginas352
- EditorFuchs Norbert E.
- Contacto del fabricanteno disponible
Comprar nuevo
Ver este artículo
EUR 27,07
EUR 10,35 gastos de envío desde Reino Unido a España
Destinos, gastos y plazos de envíoResultados de la búsqueda para Logic Program Synthesis and Transformation: 7Th Internationa...
Imagen de archivo
Logic Program Synthesis and Transformation
Librería: Majestic Books, Hounslow, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. pp. 352. Nº de ref. del artículo: 94838189
Cantidad disponible: 1 disponibles
Imagen de archivo
Logic Program Synthesis and Transformation
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Condición: New. pp. 352. Nº de ref. del artículo: 2697559154
Cantidad disponible: 1 disponibles
Imagen de archivo
Logic Program Synthesis and Transformation
Librería: Biblios, Frankfurt am main, HESSE, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: New. pp. 352. Nº de ref. del artículo: 1897559160
Cantidad disponible: 1 disponibles
Imagen del vendedor
Logic Program Synthesis and Transformation : 7th International Workshop, LOPSTR ¿97, Leuven, Belgium, July 10¿12, 1997 Proceedings
Publicado por
Springer Berlin Heidelberg, 1998
ISBN 10: 3540650741
ISBN 13: 9783540650744
Nuevo
Taschenbuch
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains the papers from the Seventh International Workshop on Logic Program Synthesis and Transformation, LOPSTR '97, that took place in Leuven, Belgium, on July 10-12, 1997, 'back to back' with the Fourteenth International Conference on Logic Programming, ICLP '97. Both ICLP and LOPSTR were organised by the K.U. Leuven Department of Computer Science. LOPSTR '97 was sponsored by Compulog Net and by the Flanders Research Network on Declarative Methods in Computer Science. LOPSTR '97 had 39 participants from 13 countries. There were two invited talks by Wolfgang Bibel (Darmstadt) on 'A multi level approach to program synthesis', and by Henning Christiansen (Roskilde) on 'Implicit program synthesis by a reversible metainterpreter'. Extended versions of both talks appear in this volume. There were 19 technical papers accepted for presentation at LOPSTR '97, out of 33 submissions. Of these, 15 appear in extended versions in this volume. Their topics range over the fields of program synthesis, program transformation, program analysis, tabling, metaprogramming, and inductive logic programming. Nº de ref. del artículo: 9783540650744
Cantidad disponible: 1 disponibles
Imagen de archivo
Logic Program Synthesis and Transformation: 7th International Workshop, LOPSTR '97, Leuven, Belgium, July 10-12, 1997 Proceedings (Lecture Notes in Computer Science, 1463)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. In. Nº de ref. del artículo: ria9783540650744_new
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Logic Program Synthesis and Transformation
Publicado por
Springer Berlin Heidelberg, 1998
ISBN 10: 3540650741
ISBN 13: 9783540650744
Nuevo
Tapa blanda
Librería: moluna, Greven, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 4897054
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Logic Program Synthesis and Transformation
Publicado por
Springer Berlin Heidelberg, Springer Berlin Heidelberg Sep 1998, 1998
ISBN 10: 3540650741
ISBN 13: 9783540650744
Nuevo
Taschenbuch
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This volume contains the papers from the Seventh International Workshop on Logic Program Synthesis and Transformation, LOPSTR '97, that took place in Leuven, Belgium, on July 10¿12, 1997, 'back to back' with the Fourteenth International Conference on Logic Programming, ICLP '97. Both ICLP and LOPSTR were organised by the K.U. Leuven Department of Computer Science. LOPSTR '97 was sponsored by Compulog Net and by the Flanders Research Network on Declarative Methods in Computer Science. LOPSTR '97 had 39 participants from 13 countries. There were two invited talks by Wolfgang Bibel (Darmstadt) on 'A multi level approach to program synthesis', and by Henning Christiansen (Roskilde) on 'Implicit program synthesis by a reversible metainterpreter'. Extended versions of both talks appear in this volume. There were 19 technical papers accepted for presentation at LOPSTR '97, out of 33 submissions. Of these, 15 appear in extended versions in this volume. Their topics range over the fields of program synthesis, program transformation, program analysis, tabling, metaprogramming, and inductive logic programming.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 352 pp. Englisch. Nº de ref. del artículo: 9783540650744
Cantidad disponible: 1 disponibles
Imagen de archivo
Logic Program Synthesis and Transformation: 7th International Workshop, Lopstr '97, Leuven, Belgium, July 10-12, 1997 Proceedings
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: Brand New. 1998 edition. 342 pages. 9.25x6.00x0.75 inches. In Stock. Nº de ref. del artículo: x-3540650741
Cantidad disponible: 2 disponibles
Imagen del vendedor
Logic Program Synthesis and Transformation
Publicado por
Springer Berlin Heidelberg Sep 1998, 1998
ISBN 10: 3540650741
ISBN 13: 9783540650744
Nuevo
Taschenbuch
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the papers from the Seventh International Workshop on Logic Program Synthesis and Transformation, LOPSTR '97, that took place in Leuven, Belgium, on July 10-12, 1997, 'back to back' with the Fourteenth International Conference on Logic Programming, ICLP '97. Both ICLP and LOPSTR were organised by the K.U. Leuven Department of Computer Science. LOPSTR '97 was sponsored by Compulog Net and by the Flanders Research Network on Declarative Methods in Computer Science. LOPSTR '97 had 39 participants from 13 countries. There were two invited talks by Wolfgang Bibel (Darmstadt) on 'A multi level approach to program synthesis', and by Henning Christiansen (Roskilde) on 'Implicit program synthesis by a reversible metainterpreter'. Extended versions of both talks appear in this volume. There were 19 technical papers accepted for presentation at LOPSTR '97, out of 33 submissions. Of these, 15 appear in extended versions in this volume. Their topics range over the fields of program synthesis, program transformation, program analysis, tabling, metaprogramming, and inductive logic programming. 352 pp. Englisch. Nº de ref. del artículo: 9783540650744
Cantidad disponible: 2 disponibles
Imagen de archivo
Logic Program Synthesis and Transformation: 7th International Workshop, Lopstr 97, Leuven, Belgium, July 10 12, 1997 Proceedings
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
PF. Condición: New. Nº de ref. del artículo: 6666-IUK-9783540650744
Cantidad disponible: 10 disponibles