TY  - RPRT
TI  - Dynamic Contract Analysis for Parallel Programming Models
AU  - Yussur Mustafa Oraji
AU  - Alexander Hück
AU  - Christian Bischof
PY  - 2026
UR  - https://arxiv.org/abs/2603.03023
ID  - 2603.03023
ER  -