Synthesising programs with non-trivial constants

Alessandro Abate, Haniel Barbosa, Clark Barrett, Christina David*, Pascal Kesseli, Daniel Kroening, Elizabeth Polgreen, Andrew Reynolds, Cesare Tinelli

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review


Dive into the research topics of 'Synthesising programs with non-trivial constants'. Together they form a unique fingerprint.

Computer Science