Statements (50)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
Research Field
|
| gptkbp:application |
gptkb:Software_Engineering
Automated Debugging Code Completion End-User Programming |
| gptkbp:approach |
Deductive Synthesis
Inductive Synthesis Syntax-Guided Synthesis |
| gptkbp:canBe |
Automated
Interactive Example-Driven Specification-Driven |
| gptkbp:conference |
gptkb:SYNT
gptkb:PLDI gptkb:POPL CAV |
| gptkbp:field |
Computer Science
|
| gptkbp:firstDescribed |
1969
|
| gptkbp:goal |
Automatic Generation of Programs
|
| https://www.w3.org/2000/01/rdf-schema#label |
Program Synthesis
|
| gptkbp:input |
gptkb:technical_specification
|
| gptkbp:inventedBy |
Manna and Waldinger
|
| gptkbp:notableContributor |
gptkb:Sumit_Gulwani
Armando Solar-Lezama Rajeev Alur |
| gptkbp:notableFor |
gptkb:Sketch
gptkb:Rosette FlashFill PROSE |
| gptkbp:output |
gptkb:government_agency
|
| gptkbp:relatedTo |
gptkb:artificial_intelligence
gptkb:technical_specification gptkb:Automated_Reasoning Programming Languages Code Generation Formal Methods Program Verification Data-Driven Programming End-User Programming Program Transformation Software Synthesis |
| gptkbp:relatedWorkshop |
SYNT Workshop
Syntax-Guided Synthesis Competition |
| gptkbp:uses |
gptkb:Machine_Learning
Type Systems Search Algorithms Constraint Solving SAT/SMT Solvers |
| gptkbp:bfsParent |
gptkb:Inductive_Logic_Programming
|
| gptkbp:bfsLayer |
8
|