Keyword:read-over-write simplification

Publications
Arrays Made Simpler: An Efficient, Scalable and Thorough Preprocessing Benjamin Farinier, Robin David, Sébastien Bardin and Matthieu Lemerre In:LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning