The Logical Approach to Low-Level Stack Reasoning.

Xinyu Jiang, Yu Guo, Yiyun Chen

Browse the full TASE paper archive.