# An axiomatic basis for bidirectional programming

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

**Wikidata**: [openalex:W2778298068](https://www.wikidata.org/wiki/openalex:W2778298068)  
**Source**: https://4ort.xyz/entity/an-axiomatic-basis-for-bidirectional-programming