Constructive Analysis and Synthesis of Programs | lit.salon