Bootstrapping library-based synthesis (Q6164431)
From MaRDI portal
scientific article; zbMATH DE number 7719735
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Bootstrapping library-based synthesis |
scientific article; zbMATH DE number 7719735 |
Statements
Bootstrapping library-based synthesis (English)
0 references
28 July 2023
0 references
program synthesis
0 references
libraries
0 references
Java
0 references
program sketching
0 references
