Weak updates and separation logic

  • Gang Tan
  • , Zhong Shao
  • , Xinyu Feng
  • , Hongxu Cai

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

2   Link opens in a new tab Scopus citations

Fingerprint

Dive into the research topics of 'Weak updates and separation logic'. Together they form a unique fingerprint.
Sort by

Keyphrases

Computer Science