Related Books

Program Synthesis
Language: en
Pages: 138
Authors: Sumit Gulwani
Categories: Computers
Type: BOOK - Published: 2017-07-11 - Publisher:

DOWNLOAD EBOOK

Program synthesis is the task of automatically finding a program in the underlying programming language that satisfies the user intent expressed in the form of
Logic-Based Program Synthesis and Transformation
Language: en
Pages: 341
Authors: Pierre Flener
Categories: Computers
Type: BOOK - Published: 2003-05-21 - Publisher: Springer

DOWNLOAD EBOOK

This book presents the thoroughly refereed post-workshop proceedings of the 8th International Workshop on Logic-Based Program Synthesis and Transformation, LOPS
Behavioral Program Synthesis with Genetic Programming
Language: en
Pages: 185
Authors: Krzysztof Krawiec
Categories: Technology & Engineering
Type: BOOK - Published: 2015-12-15 - Publisher: Springer

DOWNLOAD EBOOK

Genetic programming (GP) is a popular heuristic methodology of program synthesis with origins in evolutionary computation. In this generate-and-test approach, c
Logic-Based Program Synthesis and Transformation
Language: en
Pages: 270
Authors: Maurizio Gabbrielli
Categories: Computers
Type: BOOK - Published: 2020-04-21 - Publisher: Springer Nature

DOWNLOAD EBOOK

This book constitutes the thoroughly refereed post-conference proceedings of the 29th International Symposium on Logic-Based Program Synthesis and Transformatio
Logic Based Program Synthesis and Transformation
Language: en
Pages: 290
Authors: M. Leuschel
Categories: Computers
Type: BOOK - Published: 2003-08-03 - Publisher: Springer

DOWNLOAD EBOOK

The thoroughly refereed post-proceedings of the 12th International Workshop on Logic Based Program Synthesis and Transformation, LOPSTR 2002, held in Madrid, Sp