Compositional Reasoning for Shared-Variable Concurrent Programs.

Fuyuan Zhang Yongwang Zhao David Sanán Yang Liu Alwen Tiu Shang-Wei Lin Jun Sun

Published in: FM (2018)

Keyphrases

concurrent programs
knowledge base
knowledge representation
concurrent programming