The Logical Approach to Low-Level Stack Reasoning | IEEE Conference Publication | IEEE Xplore