Parametric and Sliced Causality
No abstract available.
Related papers
- Parametric Trace Slicing and Monitoring TACAS 2009
- Causality-Based Game Solving CAV 2021
- Parametric Program Slicing POPL 1995
- Synthesis and Analysis of Petri Nets from Causal Specifications CAV 2022
- Rely-Guarantee Reasoning for Causally Consistent Shared Memory CAV 2023
- Inductive Diagrams for Causal Reasoning OOPSLA 2024
- Responsibility Analysis by Abstract Interpretation SAS 2019
- Translating dependency into parametricity ICFP 2004