| Title: | Synthesising Programs with Non-trivial Constants |
|---|---|
| Links: | Homepage |
| Authors: | Alessandro Abate |
| Haniel Barbosa | |
| Clark Barrett | |
| Cristina David | |
| Pascal Kesseli | |
| Daniel Kroening EMail | |
| Elizabeth Polgreen | |
| Andrew Reynolds | |
| Cesare Tinelli | |
| Remarks: | |
| Topics: |
Bibtex:
@article{adkdp2023,
AUTHOR = { Abate, Alessandro
and Barbosa, Haniel
and Barrett, Clark
and David, Cristina
and Kesseli, Pascal
and Kroening, Daniel
and Polgreen, Elizabeth
and Reynolds, Andrew
and Tinelli, Cesare },
TITLE = { Synthesising Programs with Non-trivial Constants },
YEAR = { 2023 },
JOURNAL = { Journal of Automated Reasoning },
VOLUME = { 67 },
ISSUE = { 2 },
}
We welcome feedback and comments at
kroening@cs.cmu.edu.
Last modified by Daniel Kröning.