Checking Framework Interactions with Relationships
No abstract available.
Related papers
- Cognacy Queries over Dependence Graphs for Transparent Visualisations ESOP 2025
- Fissile type analysis: modular checking of almost everywhere invariants POPL 2014
- SCAF: a speculation-aware collaborative dependence analysis framework PLDI 2020
- Orchestrating Interactions Among Parallel Computations PLDI 1993
- DSM: An Object-Relationship Modeling Language OOPSLA 1989
- Univalent Double Categories CPP 2024
- Interaction-based programming with classages OOPSLA 2005
- Symmetry Reduction for the Local Mu-Calculus TACAS 2018