Aleksandar S. Dimovski. Lifted static analysis using a binary decision diagram abstract domain. In Ina Schaefer, Christoph Reichenbach, Tijs van der Storm, editors, Proceedings of the 18th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, GPCE 2019, Athens, Greece, October 21-22, 2019. pages 102-114, ACM, 2019. [doi]
No references recorded for this publication.
No citations of this publication recorded.