Skip to content

Author

Christian H. Bischof

1 paper indexed here

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

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 · 0 citations

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.