Jul 2026
Allocation Tracking and Parameter Checking for Parallel Programming Models using Contracts
An extension to the CoVer contract language designed to capture and check a broader range of error classes and introduce generic parameter checking and allocation tracking, while keeping generality across both programming model and language is presented.
Yussur Mustafa Oraji, Christian H. Bischof
· arXiv.org · 0 citations