Unifying Program Repair And Program Synthesis

Download Unifying Program Repair And Program Synthesis PDF/ePub or read online books in Mobi eBooks. Click Download or Read Online button to get Unifying Program Repair And Program Synthesis book now. This website allows unlimited access to, at the time of writing, more than 1.5 million titles, including hundreds of thousands of titles in various foreign languages. If the content not found or just blank you must refresh this page

Unifying Program Repair And Program Synthesis

Unifying Program Repair And Program Synthesis written by Jinru Hua and has been published by this book supported file pdf, txt, epub, kindle and other format this book has been release on 2018 with categories.

The last few years have seen much progress in two related but traditionally disjoint areas of research: program repair and program synthesis. Program repair is the problem of locating and removing faults in a given faulty program. Program synthesis is the problem of generating programs automatically from high-level specifications. While innovation in each of these two research areas has been impressive, the techniques developed within one area have largely been confined to that area. Our insight is that the unification of program repair and program synthesis holds a key to developing well-founded, systematic, and scalable tools for repairing complex defects. The contribution of this dissertation is three-fold: a synthesis-based approach SketchRep for program repair based on propositional satisfiability solving, an execution-driven synthesis engine EdSketch for Java, and a program repair approach SketchFix to repair defects at the AST node-level with execution-driven sketching. SketchRep is a debugging approach that reduces the problem of program repair to a sub-problem of program synthesis, namely program sketching, in which the user writes a sketch, i.e., an incomplete program that has holes, and automated tools complete the sketch with respect to the given specification or reference implementation. Our program repair approach translates the given faulty program to a sketch and leverages an off-the-shelf inductive synthesizer to fill in the holes of the incomplete program with respect to the given test suite. EdSketch is an execution-driven synthesis engine for Java. Traditional solutions to the sketching problem perform a translation to SAT formulas. While effective for a range of programs, when applied to real applications, such translation-based approaches may lead to impractical problems to translate all relevant libraries to SAT. Instead of transforming the program to logic formulas for SAT solvers, EdSketch explores the actual program behaviors in presence of libraries and provides a practical solution to sketching small parts of real-world applications. SketchFix is a repair technique that generates candidate fixes on demand during the test execution. It translates faulty programs to sketches, compiles each sketch once which may represent a large number of concrete candidates, and lazily initializes the candidates of the sketches while validating them against the test execution. The dissertation describes each technique and presents experimental results that demonstrate its efficacy.

Logic Program Synthesis And Transformation

Logic Program Synthesis And Transformation written by Norbert E. Fuchs and has been published by Springer this book supported file pdf, txt, epub, kindle and other format this book has been release on 1998-09-09 with Computers categories.

This book constitutes the strictly refereed post-workshop proceedings of the 7th International Workshop on Logic Program Synthesis & Transformation, LOPSTR'97, held in Leuven, Belgium, in July 1997. The 15 revised full papers presented have been through two rounds of reviewing & selection from a total of initially 33 submissions. The topics addressed include program synthesis, program transformation, program analysis, tabling, metaprogramming, & inductive logic programming.

Logic Program Synthesis And Transformation

Logic Program Synthesis And Transformation written by and has been published by this book supported file pdf, txt, epub, kindle and other format this book has been release on 1996 with Logic programming (Computer science) categories.

Documentation Abstracts

Documentation Abstracts written by and has been published by this book supported file pdf, txt, epub, kindle and other format this book has been release on 1996 with Documentation categories.

International Workshop On Software Specification And Design Proceedings

International Workshop On Software Specification And Design Proceedings written by and has been published by this book supported file pdf, txt, epub, kindle and other format this book has been release on 1993 with Computer software categories.

1997 Ieee International Conference On Tools With Artificial Intelligence

1997 Ieee International Conference On Tools With Artificial Intelligence written by and has been published by Institute of Electrical & Electronics Engineers(IEEE) this book supported file pdf, txt, epub, kindle and other format this book has been release on 1997 with Computers categories.

Aimed at researchers, professors, practitioners, students and other computing professionals, this work focuses in genetic algorithms, reasoning under uncertainty, natural language processing, knowledge based technology, and neural networks.

Proceedings Of The International Ieee Conference On Tools For Artificial Intelligence

Proceedings Of The International Ieee Conference On Tools For Artificial Intelligence written by and has been published by this book supported file pdf, txt, epub, kindle and other format this book has been release on 1997 with Algorithms categories.

Programming Language Implementation And Logic Programming

Programming Language Implementation And Logic Programming written by and has been published by this book supported file pdf, txt, epub, kindle and other format this book has been release on 1993 with Logic programming categories.

Programming Language Implementation And Logic Programming

Programming Language Implementation And Logic Programming written by Maurice Bruynooghe and has been published by this book supported file pdf, txt, epub, kindle and other format this book has been release on 1993 with Logic programming categories.

"This volume contains the proceedings of the Fifth International Symposium onProgramming Language Implementation and Logic Programming (PLILP '93), held in Tallinn, Estonia, in August 1993. The series of PLILP symposiums was established to promote contacts and information exchange among scientists who share common interests in declarative programming techniques, logic programming, and programming languages imnplementation. Researchers from the fields of algorithmic programming languages as well as logic, functional, object-oriented, and constraint programming constitute the audience of PLILP. The volume contains three invited talks and 24 selected contributed papers grouped intoparts on: integration of different paradigms, constraint programming, staticanalysis and abstract interpretation, grammars, narrowing, parallelism, and implementation techniques. The volume closes with six abstracts of systems demonstrations and posters."--PUBLISHER'S WEBSITE.

Symposium On Logic Programming

Symposium On Logic Programming written by and has been published by this book supported file pdf, txt, epub, kindle and other format this book has been release on 1987 with Computer programming categories.