@misc{indiciae77edf4615c22,
  title = {Separation Logic for Small-step Cminor},
  author = {Andrew W. Appel and Sandrine Blazy},
  year = {2007},
  url = {https://arxiv.org/abs/0707.4389},
  note = {Source identifier: 0707.4389}
}