The OpenMP API for high integrity systems: Moving responsibility from users to vendors

Journal 2021