# Combining the top-down propagation and bottom-up enumeration for inductive program synthesis

> Research article (Proceedings of the ACM on Programming Languages, 2021) · cited 31× · AI/ML

**Wikidata**: [openalex:W3117975267](https://www.wikidata.org/wiki/openalex:W3117975267)  
**Source**: https://4ort.xyz/entity/combining-the-top-down-propagation-and-bottom-up-enumeration-for-inductive-program-synthesis