Logic Program Synthesis And Transformation Meta Programming In Logic

Author : Laurent Fribourg,Franco Turini
Publisher : Springer Science & Business Media
Page : 468 pages
File Size : 54,6 Mb
Release : 1994-11-30
Category : Computers
ISBN : 3540587926

Get Book

Logic Program Synthesis and Transformation - Meta-Programming in Logic by Laurent Fribourg,Franco Turini Pdf

This volume constitutes the combined proceedings of the 4th International Workshops on Logic Program Synthesis and Transformation (LOPSTR '94) and on Meta-Programming (META '94), held jointly in Pisa, Italy in June 1994. This book includes thoroughly revised versions of the best papers presented at both workshops. The main topics addressed by the META papers are language extensions in support of meta-logic, semantics of meta-logic, implementation of meta-logic features, performance of meta-logic, and several applicational aspects. The LOPSTR papers are devoted to unfolding/folding, partial deduction, proofs as programs, inductive logic programming, automated program verification, specification and programming methodologies.

Author : John P. Gallagher
Publisher : Springer Science & Business Media
Page : 344 pages
File Size : 46,9 Mb
Release : 1997-03-12
Category : Computers
ISBN : 3540627189

Get Book

Logic Program Synthesis and Transformation by John P. Gallagher Pdf

This book constitutes the strictly refereed post-workshop proceedings of the Sixth International Workshop on Logic Program Synthesis and Transformation, LOPSTR'96, held on board a ship sailing from Stockholm to Helsinki, in August 1996. The 17 revised full papers were carefully selected from a total of initially 27 submissions. The topics covered range over the areas of synthesis of programs from specifications, verification, transformation, specialization, and analysis of programs, and the use of program schemata in program development.

Author : Annalisa Bossi
Publisher : Springer
Page : 312 pages
File Size : 50,6 Mb
Release : 2006-12-30
Category : Computers
ISBN : 9783540451488

Get Book

Logic-Based Program Synthesis and Transformation by Annalisa Bossi Pdf

This volume contains the proceedings of the ninth international workshop on logic-based program synthesis and transformation (LOPSTR’99) which was held in Venice (Italy), September 22-24, 1999. LOPSTRistheannualworkshopandforumforresearchersinthelogic-based program development stream of computational logic. The main focus used to be on synthesis and transformation of logic programs, but the workshop is open to contributions on logic-based program development in any paradigm. Previous workshops were held in Manchester, UK (1991, 1992), Louvain-la-Neuve, B- gium (1993), Pisa, Italy (1994), Arnhem, The Netherlands (1995), Stockholm, Sweden (1996), Leuven, Belgium (1997), and Manchester, UK (1998). LOPSTR is a real workshop in the sense that it is a friendly and lively forum for presenting recent and current research as well as discussing future trends. Formal proceedings of the workshop are produced only after the workshop and contain only those papers selected by the program committee after a second refereeing process. The program committee of LOPSTR’99 accepted 20 extended abstracts for presentation at the workshop; then selected 14 papers for inclusion in the po- workshop proceedings. Selected papers cover all the main streams of LOPSTR’s topics: synthesis, specialization, transformation, analysis, and veri?cation. Ve- ?cation, transformation, and specialization methods are applied to functional, constraint, logic, and imperative programming.

Author : Laurent Fribourg,Franco Turini
Publisher : Springer
Page : 458 pages
File Size : 53,7 Mb
Release : 2014-03-12
Category : Computers
ISBN : 3662203006

Get Book

Logic Program Synthesis and Transformation - Meta-Programming in Logic by Laurent Fribourg,Franco Turini Pdf

This volume constitutes the combined proceedings of the 4th International Workshops on Logic Program Synthesis and Transformation (LOPSTR '94) and on Meta-Programming (META '94), held jointly in Pisa, Italy in June 1994. This book includes thoroughly revised versions of the best papers presented at both workshops. The main topics addressed by the META papers are language extensions in support of meta-logic, semantics of meta-logic, implementation of meta-logic features, performance of meta-logic, and several applicational aspects. The LOPSTR papers are devoted to unfolding/folding, partial deduction, proofs as programs, inductive logic programming, automated program verification, specification and programming methodologies.

Author : Yves Deville
Publisher : Springer Science & Business Media
Page : 258 pages
File Size : 41,5 Mb
Release : 2012-12-06
Category : Computers
ISBN : 9781447132349

Get Book

Logic Program Synthesis and Transformation by Yves Deville Pdf

This volume contains extended versions of papers presented at the Third International Workshop on Logic Program Synthesis and Transformation (LOPSTR 93) held in Louvain-la-Neuve in July 1993. Much of the success of the workshop is due to Yves Deville who served as Organizer and Chair. Many people believe that machine support for the development and evolution of software will play a critical role in future software engineering environments. Machine support requires the formalization of the artifacts and processes that arise during the software lifecycle. Logic languages are unique in providing a uniform declarative notation for precisely describing application domains, software requirements, and for prescribing behavior via logic programs. Program synthesis and transfonnation techniques formalize the process of developing correct and efficient programs from requirement specifications. The natural intersection of these two fields of research has been the focus of the LOPSTR workshops. The papers in this volume address many aspects of software develop ment including: deductive synthesis, inductive synthesis, transforma tions for optimizing programs and exploiting parallelism, program analysis techniques (particularly via abstract interpretation), meta programming languages and tool support, and various extensions to Prolog-like languages, admitting non-Horn clauses, functions, and constraints. Despite the progress represented in this volume, the transition from laboratory to practice is fraught with difficulties.

Author : Maurizio Proietti
Publisher : Springer Science & Business Media
Page : 284 pages
File Size : 46,9 Mb
Release : 1996-03-06
Category : Computers
ISBN : 3540609393

Get Book

Logic Program Synthesis and Transformation by Maurizio Proietti Pdf

This book constitutes the refereed proceedings of the 5th International Workshop on Logic Program Synthesis and Transformation, LOPSTR'95, held in Utrecht, The Netherlands in September 1995. The 19 papers included were selected from 40 workshop submissions; they offer a unique up-to-date account of the use of formal synthesis and transformation techniques for computer-aided development of logic programs. Among the topics addressed are deductive and inductive program synthesis, synthesis models based on constructive type theory, program specification, program analysis, theorem proving, and applications to various types of programs.

Author : Anonim
Publisher : Unknown
Page : 348 pages
File Size : 42,8 Mb
Release : 1996
Category : Logic programming (Computer science)
ISBN : UOM:39015039946663

Get Book

Logic Program Synthesis and Transformation by Anonim Pdf

Author : Pierre Flener
Publisher : Springer
Page : 338 pages
File Size : 45,6 Mb
Release : 2003-05-21
Category : Computers
ISBN : 9783540489580

Get Book

Logic-Based Program Synthesis and Transformation by Pierre Flener Pdf

This book presents the thoroughly refereed post-workshop proceedings of the 8th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR'98 held in Manchester, UK in June 1998. The 16 revised full papers presented were carefully reviewed and selected during three rounds of inspection from a total of initially 36 extended abstracts submitted. Also included are eight short papers. Among the topics covered are logic specification, mathematical program construction, logic programming, computational logics, inductive program synthesis, constraint logic programs, and mathematical foundations.

Author : Norbert E. Fuchs
Publisher : Springer
Page : 343 pages
File Size : 43,7 Mb
Release : 2003-05-20
Category : Computers
ISBN : 9783540496748

Get Book

Logic Program Synthesis and Transformation by Norbert E. Fuchs Pdf

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.

Author : Anonim
Publisher : Unknown
Page : 336 pages
File Size : 50,7 Mb
Release : 1999
Category : Logic programming
ISBN : UOM:39015047813459

Get Book

Logic-based Program Synthesis and Transformation / by Anonim Pdf

Author : Norbert E. Fuchs
Publisher : Springer
Page : 0 pages
File Size : 43,8 Mb
Release : 2003-05-20
Category : Computers
ISBN : 3540496742

Get Book

Logic Program Synthesis and Transformation by Norbert E. Fuchs Pdf

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.

Author : María Alpuente
Publisher : Springer
Page : 249 pages
File Size : 44,7 Mb
Release : 2011-04-21
Category : Computers
ISBN : 9783642205514

Get Book

Logic-Based Program Synthesis and Transformation by María Alpuente Pdf

This book constitutes the thoroughly refereed post-proceedings of the 20th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2010, held in Hagenberg, Austria in July 2010. The 13 revised full papers presented together with two invited papers were carefully reviewed and selected from 26 submissions. Among the topics covered are specification, synthesis, verification, analysis, optimization, specialization, security, certification, application and tools, program/model manipulation, and transformation techniques for any programming language paradigm.

Author : Timothy P. Clement,Kung-Kiu Lau
Publisher : Springer Science & Business Media
Page : 345 pages
File Size : 52,6 Mb
Release : 2013-04-17
Category : Computers
ISBN : 9781447134947

Get Book

Logic Program Synthesis and Transformation by Timothy P. Clement,Kung-Kiu Lau Pdf

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.

Author : Kung-Kiu Lau,Timothy P. Clement
Publisher : Springer Science & Business Media
Page : 282 pages
File Size : 51,8 Mb
Release : 2013-03-09
Category : Computers
ISBN : 9781447135609

Get Book

Logic Program Synthesis and Transformation by Kung-Kiu Lau,Timothy P. Clement Pdf

Logic program synthesis and transformation are topics of central importance to the software industry. The demand for software can not be met by the current supply, in terms of volume, complexity, or reliability. The most promising solution seems to be the increased automation of software production: programmer productivity would improve, and correctness could be ensured by the application of mathematical methods. Because of their mathematical foundations, logic programs lend themselves particularly well to machine-assisted development techniques, and therefore to automation. This volume contains the proceedings of the second International Workshop on Logic Program Synthesis and Transformation (LOPSTR 92), held at the University of Manchester, 2-3 July 1992. The LOPSTR workshops are the only international meetings devoted to these two important areas. A variety of new techniques were described at the workshop, all of which promise to revolutionize the software industry once they become standard practise. These include techniques for the transformation of an inefficient program into an equivalent, efficient one, and the synthesis of a program from a formal specification of its required behaviour. Among the topics covered in this volume are: optimal transformation of logic programs; logic program synthesis via proof planning; deductive synthesis of programs for query answering; efficient compilation of lazy narrowing into Prolog; synthesis of narrowing programs; Logimix: a self-applicable partial evaluator for Prolog; proof nets; automatic termination analysis. Logic Program Synthesis and Transformation describes the latest advances in machine-assisted development of logic programs. It will provide essential reading for researchers and postgraduate students concerned with these two important areas.

Author : Pierre Flener
Publisher : Springer Science & Business Media
Page : 341 pages
File Size : 49,9 Mb
Release : 1999-03-24
Category : Computers
ISBN : 9783540657651

Get Book

Logic-Based Program Synthesis and Transformation by Pierre Flener Pdf

This book presents the thoroughly refereed post-workshop proceedings of the 8th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR'98 held in Manchester, UK in June 1998. The 16 revised full papers presented were carefully reviewed and selected during three rounds of inspection from a total of initially 36 extended abstracts submitted. Also included are eight short papers. Among the topics covered are logic specification, mathematical program construction, logic programming, computational logics, inductive program synthesis, constraint logic programs, and mathematical foundations.