Read Anywhere and on Any Device!

Subscribe to Read | $0.00

Join today and start reading your favorite books for Free!

Create Free Account

Logic-Based Program Synthesis and Transformation

0/5 ( ratings)

This book constitutes the thoroughly refereed post-conference proceedings of the 18th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2008, held in Valencia, Spain, during July 17-18, 2008. The 11 revised full papers presented together with one invited talk were carefully reviewed and selected for inclusion in the book. LOPSTR traditionally solicits papers in the areas of specification, synthesis, verification, transformation, analysis, optimization, composition, security, reuse, applications and tools, component-based software development, software architectures, agent-based software development, and program refinement.

Language: English

Pages: 185

Format: Paperback

Publisher: Springer

Release: February 27, 2009

ISBN: 3642005144

ISBN 13: 9783642005145

Logic-Based Program Synthesis and Transformation

0/5 ( ratings)

This book constitutes the thoroughly refereed post-conference proceedings of the 18th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2008, held in Valencia, Spain, during July 17-18, 2008. The 11 revised full papers presented together with one invited talk were carefully reviewed and selected for inclusion in the book. LOPSTR traditionally solicits papers in the areas of specification, synthesis, verification, transformation, analysis, optimization, composition, security, reuse, applications and tools, component-based software development, software architectures, agent-based software development, and program refinement.

Language: English

Pages: 185

Format: Paperback

Publisher: Springer

Release: February 27, 2009

ISBN: 3642005144

ISBN 13: 9783642005145

More books from Michael Hanus

Applications of Declarative Programming and Knowledge Management

Practical Aspects of Declarative Languages. Lecture Notes in Computer Science.

Problemlosen Mit PROLOG

Algebraic and Logic Programming: 5th International Conference, Alp '96, Aachen, Germany, September 25 - 27, 1996. Proceedings

Declarative Programming and Knowledge Management : Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised selected papers

Declarative Programming and Knowledge Management: Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, ... Papers (Lecture Notes in Computer Science)

Applications of Declarative Programming and Knowledge Management: 15th International Conference on Applications of Declarative Programming and Knowledge ... / Lecture Notes in Artificial Intelligence)

Applications of Declarative Programming and Knowledge Management: 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Wurzburg, Germany, October 4-6, 2007, Revised Selected Papers

Applications of Declarative Programming and Knowledge Management

Declarative Programming and Knowledge Management: Conference on Declarative Programming, Declare 2017, Unifying Inap, Wflp, and Wlp, W�rzburg, Germany, September 19-22, 2017, Revised Selected Papers

Practical Aspects Of Declarative Languages: 9th International Symposium, Padl 2007, Nice, France, January 14 15, 2007, Proceedings (Lecture Notes In Computer Science)

Declarative Programming and Knowledge Management: Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, ... Papers (Lecture Notes in Computer Science)

Rate this book!

Write a review?