On the Competeness of Compositional Reasoning
Abstract elided by the publisher.
Related papers
- Transactional Composition of Nonblocking Data Structures PPoPP 2023
- Considerate Reasoning and the Composite Design Pattern VMCAI 2010
- Taming Message-Passing Communication in Compositional Reasoning About Confidentiality APLAS 2017
- Functional Verification of Power Gated Designs by Compositional Reasoning CAV 2008
- A Dash of Fairness for Compositional Reasoning CAV 2010
- Quarantining Weakness - Compositional Reasoning under Relaxed Memory Models (Extended Abstract) ESOP 2013
- Assume-Guarantee Based Compositional Reasoning for Synchronous Timing Diagrams TACAS 2001
- Views: compositional reasoning for concurrent programs POPL 2013