TY  - RPRT
TI  - Calculational Design of Hyperlogics by Abstract Interpretation
AU  - Patrick Cousot
AU  - Jeffery Wang
PY  - 2024
DO  - 10.1145/3704852
UR  - https://arxiv.org/abs/2411.11113
ID  - 2411.11113
ER  -