Cargando…
Synthesising Programs with Non-trivial Constants
Program synthesis is the mechanised construction of software. One of the main difficulties is the efficient exploration of the very large solution space, and tools often require a user-provided syntactic restriction of the search space. While useful in general, such syntactic restrictions provide li...
| Autores principales: | , , , , , , , , |
|---|---|
| Formato: | Online Artículo Texto |
| Lenguaje: | English |
| Publicado: |
Springer Netherlands
2023
|
| Materias: | |
| Acceso en línea: | https://www.ncbi.nlm.nih.gov/pmc/articles/PMC10182957/ https://www.ncbi.nlm.nih.gov/pubmed/37193313 http://dx.doi.org/10.1007/s10817-023-09664-4 |