Runtime Correctness Checking for Emerging Programming Paradigms

Protze, Joachim (Corresponding author); Terboven, Christian (Corresponding author); Müller, Matthias S. (Corresponding author); Petiton, Serge G. (Corresponding author); Emad, Nahid (Corresponding author); Murai, Hitoshi (Corresponding author); Boku, Taisuke (Corresponding author)

New York, NY : ACM (2017)
Buchbeitrag, Beitrag zu einem Tagungsband

In: Proceedings of the First International Workshop on Software Correctness for HPC Applications
Seite(n)/Artikel-Nr.: 21-27

Einrichtungen

  • IT Center [022000]
  • Fachgruppe Informatik [120000]
  • Lehrstuhl für Informatik 12 (Hochleistungsrechnen) [123010]

Identifikationsnummern