(Submitted) TaDA Live: Compositional Reasoning for Termination of Fine-grained Concurrent Programs

Authors

  • Emanuele D’Osualdo
  • Azadeh Farzan
  • Philippa Gardner
  • Julian Sutherland

Venue

CoRR, vol. abs/1901.05750

Publication Date

2020

Source Materials