Considerate Reasoning and the Composite Design Pattern
No abstract available.
Related papers
- TaDA Live: Compositional Reasoning for Termination of Fine-grained Concurrent Programs TOPLAS 2021
- Composite Design Patterns OOPSLA 1997
- Semantic reasoning about feature composition via multiple aspect-weavings GPCE 2006
- Functional Verification of Power Gated Designs by Compositional Reasoning CAV 2008
- A pattern for almost compositional functions ICFP 2006
- A pattern for almost compositional functions JFP 2008
- SecCSL: Security Concurrent Separation Logic CAV 2019
- A Formally Verified Foundation for Compositional Heterogeneous Coherence PLDI 2026