Runtime correctness checking for emerging programming paradigms - Archive ouverte HAL
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⟩
129 Consultations
31 Téléchargements

Altmetric

Partager

More