Synthesising Programs with Non-trivial Constants.
Saved in:
| Title: | Synthesising Programs with Non-trivial Constants. |
|---|---|
| Authors: | Abate, Alessandro1, Barbosa, Haniel2, Barrett, Clark3, David, Cristina4, cristina.david@bristol.ac.uk, Kesseli, Pascal5, Kroening, Daniel6, Polgreen, Elizabeth7, Reynolds, Andrew8, Tinelli, Cesare8 |
| Source: | Journal of Automated Reasoning; Jun2023, Vol. 67 Issue 2, p1-25, 25p |
| Database: | Applied Science & Technology Source |
| ISSN: | 01687433 |
|---|---|
| DOI: | 10.1007/s10817-023-09664-4 |
