![]() ![]() The synthesis algorithm is very efficient taking fraction of a second for various benchmark examples. We describe an algorithm based on several novel concepts for synthesizing a desired program in this language from input-output examples. The language is expressive enough to represent a wide variety of string manipulation tasks that end-users struggle with. ![]() We describe the design of a string programming/expression language that supports restricted forms of regular expressions, conditionals and loops. ![]()
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |