# Semantic program alignment for equivalence checking

> Research article (Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019) · cited 91× · AI/ML

**Wikidata**: [openalex:W2954725723](https://www.wikidata.org/wiki/openalex:W2954725723)  
**Source**: https://4ort.xyz/entity/semantic-program-alignment-for-equivalence-checking