Items related to Logic Program Synthesis and Transformation: Proceedings...
Logic Program Synthesis and Transformation: Proceedings of LOPSTR 91, International Workshop on Logic Program Synthesis and Transformation, University ... 4–5 July 1991 (Workshops in Computing) - Softcover
Synopsis
Logic programming synthesis and transformation are methods of deriving logic programs from their specifications and, where necessary, producing alternative but equivalent forms of a given program. The techniques involved in synthesis and transformation are extremely important as they allow the systematic construction of correct and efficient programs and have the potential to enhance current methods of software production. Transformation strategies are also being widely used in the field of logic program development. LOPSTR 91 was the first workshop to deal exclusively with both logic program synthesis and transformation and, as such, filled an obvious gap in the existing range of logic programming workshops. In attempting to cover the subject as comprehensively as possible, the workshop brought together researchers with an interest in all aspects of logic (including Horn Clause and first order logic) and all approaches to program synthesis and transformation. Logic Program Synthesis and Transformation provides a complete record of the workshop, with all the papers reproduced either in full or as extended abstracts. They cover a wide range of aspects, both practical and theoretical, including the use of mode input-output in program transformation, program specification and synthesis in constructive formal systems and a case study in formal program development in modular Prolog. This volume provides a comprehensive overview of current research and will be invaluable to researchers and postgraduate students who wish to enhance their understanding of logic programming techniques.
"synopsis" may belong to another edition of this title.
- PublisherSpringer
- Publication date1992
- ISBN 10 3540197427
- ISBN 13 9783540197423
- BindingPaperback
- LanguageEnglish
- Edition number1
- Number of pages347
- EditorClement Timothy P., Lau Kung-Kiu
Buy New
View this item
£ 46.91
£ 11.91 shipping from Germany to United Kingdom
Destination, rates & speedsOther Popular Editions of the Same Title
Search results for Logic Program Synthesis and Transformation: Proceedings...
Stock Image
Logic Program Synthesis and Transformation: Proceedings of LOPSTR 91, International Workshop on Logic Program Synthesis and Transformation, University . 4â"5 July 1991 (Workshops in Computing)
Seller: Goldstone Books, Llandybie, United Kingdom
Seller rating 5 out of 5 stars
paperback. Condition: Good. All orders are dispatched within one working day from our UK warehouse. We've been selling books online since 2004! We have over 750,000 books in stock. No quibble refund if not completely satisfied. Seller Inventory # mon0007550582
Quantity: 1 available
Seller Image
Logic Program Synthesis and Transformation: Proceedings Of Lopstr 91, International Workshop On Logic Program Synthesis And Transformation, University . . . 4-5 July 1991 (Workshops In Computing)
Seller: BoundlessBookstore, Wallingford, United Kingdom
Seller rating 5 out of 5 stars
Condition: Good. Very good condition paperback with minimal wear. Contents are clean and bright throughout with no markings. Seller Inventory # 9999-9994406136
Quantity: 1 available
Seller Image
Logic Program Synthesis and Transformation : Proceedings of LOPSTR 91, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 4¿5 July 1991
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Logic programming synthesis and transformation are methods of deriving logic programs from their specifications and, where necessary, producing alternative but equivalent forms of a given program. The techniques involved in synthesis and transformation are extremely important as they allow the systematic construction of correct and efficient programs and have the potential to enhance current methods of software production. Transformation strategies are also being widely used in the field of logic program development. LOPSTR 91 was the first workshop to deal exclusively with both logic program synthesis and transformation and, as such, filled an obvious gap in the existing range of logic programming workshops. In attempting to cover the subject as comprehensively as possible, the workshop brought together researchers with an interest in all aspects of logic (including Horn Clause and first order logic) and all approaches to program synthesis and transformation. Logic Program Synthesis and Transformation provides a complete record of the workshop, with all the papers reproduced either in full or as extended abstracts. They cover a wide range of aspects, both practical and theoretical, including the use of mode input-output in program transformation, program specification and synthesis in constructive formal systems and a case study in formal program development in modular Prolog. This volume provides a comprehensive overview of current research and will be invaluable to researchers and postgraduate students who wish to enhance their understanding of logic programming techniques. Seller Inventory # 9783540197423
Quantity: 1 available
Seller Image
Logic Program Synthesis and Transformation
Print on DemandSeller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Logic programming synthesis and transformation are methods of deriving logic programs from their specifications and, where necessary, producing alternative but equivalent forms of a given program. The techniques involved in synthesis and transformation are . Seller Inventory # 4884262
Quantity: Over 20 available
Stock Image
Logic Program Synthesis and Transformation
Print on DemandSeller: Majestic Books, Hounslow, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Print on Demand pp. 348 67:B&W 6.69 x 9.61 in or 244 x 170 mm (Pinched Crown) Perfect Bound on White w/Gloss Lam. Seller Inventory # 128771091
Quantity: 4 available
Stock Image
Logic Program Synthesis and Transformation: Proceedings of LOPSTR 91, International Workshop on Logic Program Synthesis and Transformation, University . 4-5 July 1991 (Workshops in Computing)
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Brand New. 348 pages. 9.61x6.69x0.79 inches. In Stock. Seller Inventory # x-3540197427
Quantity: 2 available
Stock Image
Logic Program Synthesis and Transformation
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 348. Seller Inventory # 26131816396
Quantity: 4 available
Seller Image
Logic Program Synthesis and Transformation
Published by
Springer London, Springer Berlin Heidelberg Feb 1992, 1992
ISBN 10: 3540197427
ISBN 13: 9783540197423
New
Taschenbuch
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Logic programming synthesis and transformation are methods of deriving logic programs from their specifications and, where necessary, producing alternative but equivalent forms of a given program. The techniques involved in synthesis and transformation are extremely important as they allow the systematic construction of correct and efficient programs and have the potential to enhance current methods of software production. Transformation strategies are also being widely used in the field of logic program development. LOPSTR 91 was the first workshop to deal exclusively with both logic program synthesis and transformation and, as such, filled an obvious gap in the existing range of logic programming workshops. In attempting to cover the subject as comprehensively as possible, the workshop brought together researchers with an interest in all aspects of logic (including Horn Clause and first order logic) and all approaches to program synthesis and transformation. Logic Program Synthesis and Transformation provides a complete record of the workshop, with all the papers reproduced either in full or as extended abstracts. They cover a wide range of aspects, both practical and theoretical, including the use of mode input-output in program transformation, program specification and synthesis in constructive formal systems and a case study in formal program development in modular Prolog. This volume provides a comprehensive overview of current research and will be invaluable to researchers and postgraduate students who wish to enhance their understanding of logic programming techniques.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 348 pp. Englisch. Seller Inventory # 9783540197423
Quantity: 1 available
Stock Image
Logic Program Synthesis and Transformation : Proceedings of LOPSTR 91, International Workshop on Logic Program Synthesis and Transformation, Universit
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 5 out of 5 stars
PF. Condition: New. Seller Inventory # 6666-IUK-9783540197423
Quantity: 10 available
Stock Image
Logic Program Synthesis and Transformation
Print on DemandSeller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 5 out of 5 stars
Condition: New. PRINT ON DEMAND pp. 348. Seller Inventory # 18131816390
Quantity: 4 available