| Title: |
Program Synthesis Using Example Propagation |
| Authors: |
Mulleners, Niek; Jeuring, Johan; Heeren, Bastiaan; Sub Softw.Techn. for Learning and Teach; Dep Informatica; Sub Digital Technology and Education; Sub Softw.Techn. for Learning and Teach.; Sub General Intelligent Software Syst.; Software Technology for Learning and Teaching; Hanus, Michael; Inclezan, Daniela |
| Publication Year: |
2023 |
| Subject Terms: |
Program synthesis; Constraint propagation; Input-Output examples; Functional programming; Taverne |
| Description: |
We present Scrybe, an example-based synthesis tool for a statically-typed functional programming language, which combines top-down deductive reasoning in the style of $$\lambda ^2$$ with Smyth-style live bidirectional evaluation. During synthesis, example constraints are propagated through sketches to prune and guide the search. This enables Scrybe to make more effective use of functions provided in the context. To evaluate our tool, it is run on the combined, largely disjoint, benchmarks of $$\lambda ^2$$ and Myth. Scrybe is able to synthesize most of the combined benchmark tasks. |
| Document Type: |
book part |
| File Description: |
application/pdf |
| Language: |
English |
| ISSN: |
0302-9743 |
| Relation: |
https://dspace.library.uu.nl/handle/1874/430375 |
| Availability: |
https://dspace.library.uu.nl/handle/1874/430375 |
| Rights: |
info:eu-repo/semantics/OpenAccess |
| Accession Number: |
edsbas.4384CAA3 |
| Database: |
BASE |