Runtime correctness checking for emerging programming paradigms - Maison de la Simulation Accéder directement au contenu
Communication Dans Un Congrès Année : 2017

Runtime correctness checking for emerging programming paradigms

Fichier principal
Vignette du fichier
PrTePeMu17.pdf (452.21 Ko) Télécharger le fichier
Origine : Fichiers éditeurs autorisés sur une archive ouverte

Dates et versions

hal-01704205 , version 1 (09-01-2023)

Identifiants

Citer

Joachim Protze, Christian Terboven, Matthias Müller, Serge Petiton, Nahid Emad, et al.. Runtime correctness checking for emerging programming paradigms. Correctness'17 - the First International Workshop on Software Correctness for HPC Applications, IEEE and ACM Supercomputing 2017, Nov 2017, Denver, CO, United States. pp.21-27, ⟨10.1145/3145344.3145490⟩. ⟨hal-01704205⟩
121 Consultations
20 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More