公开(公告)号：US20230280989A1

公开(公告)日：2023-09-07

申请号：US17687577

申请日：2022-03-04

Applicant: Microsoft Technology Licensing, LLC

Inventor： José Pablo CAMBRONERO SÁNCHEZ ,  Sumit GULWANI ,  Vu Minh LE ,  Daniel PERELMAN ,  Arjun RADHAKRISHNA ,  Daniel Galen SIMMONS ,  Clint Michael SIMON ,  Ashish TIWARI

IPC: G06F8/41 ,  G06F40/211 ,  G06F40/30

CPC classification number: G06F8/436 ,  G06F8/427 ,  G06F40/211 ,  G06F40/30

Abstract: Techniques are described herein that are capable of synthesizing a computer program to include idiomatic function(s) and semantically-meaningful variable(s) using programming by example. For instance, an intent of a user to synthesize a computer program to include functionality configured to generate sample output(s) from respective input(s) is determined based at least in part on receipt of the sample input(s) and the respective sample output(s) from the user. Based at least in part on the determined intent, the computer program is synthesized to include the idiomatic function(s) by configuring the idiomatic function(s) to have the target functionality and to conform to a convention of the target domain-specific language associated with a textual representation of the computer program to be displayed to the user. Non-semantically-meaningful variable(s) included among the idiomatic function(s) are replaced with the respective semantically-meaningful variable(s). The textual representation of the computer program is caused to be displayed to the user.