Logic-based Program Synthesis and Transformation: 29th International Symposium, Lopstr 2019, Porto, Portugal, October 8 10, 2019, Revised Selected Papers

Gabbrielli, Maurizio (Editor)

ISBN 10: 303045259X / ISBN 13: 9783030452599

Verlag: Springer-Nature New York Inc, 2020

Beschreibung

350 pages. 9.25x6.10x0.64 inches. In Stock.

Bestandsnummer des Verkäufers x-303045259X

Bibliografische Details

• Titel: Logic-based Program Synthesis and Transformation: 29th International Symposium, Lopstr 2019, Porto, Portugal, October 8 10, 2019, Revised Selected Papers
• Verlag: Springer-Nature New York Inc
• Erscheinungsjahr: 2020
• Sprache: Englisch
• ISBN-10: 303045259X
• ISBN-13: 9783030452599
• Einband: Paperback
• Zustand: Brand New

Über diesen Titel

Inhaltsangabe

This book constitutes the thoroughly refereed post-conference proceedings of the 29th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2019, held in Porto, Portugal, in October 2019. The 15 revised full papers were carefully reviewed and selected from 32 submissions. In addition to the 15 papers, this volume includes 2 invited papers.
The symposium cover all aspects of logic-based program development, stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large. This year LOPSTR extends its traditional topics to include also logic-based program development based on integration of sub-symbolic and symbolic models, on machine learning techniques and on differential semantics. The papers are grouped into the following topics: static analysis, program synthesis, constraints and unification, debugging and verification, and program transformation.

Über die Autorin bzw. den Autor

Charlotte y Peter Fiell son dos autoridades en historia, teoría y crítica del diseño y han escrito más de sesenta libros sobre la materia, muchos de los cuales se han convertido en éxitos de ventas. También han impartido conferencias y cursos como profesores invitados, han comisariado exposiciones y asesorado a fabricantes, museos, salas de subastas y grandes coleccionistas privados de todo el mundo. Los Fiell han escrito numerosos libros para TASCHEN, entre los que se incluyen 1000 Chairs, Diseño del siglo XX, El diseño industrial de la A a la Z, Scandinavian Design y Diseño del siglo XXI.