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...

Descripción completa

Detalles Bibliográficos
Autores principales: Abate, Alessandro, Barbosa, Haniel, Barrett, Clark, David, Cristina, Kesseli, Pascal, Kroening, Daniel, Polgreen, Elizabeth, Reynolds, Andrew, Tinelli, Cesare
Formato: Online Artículo Texto
Lenguaje:English
Publicado: Springer Netherlands 2023
Materias:
Article
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

Internet

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

Ejemplares similares