( en | de | ru )

 

Disambiguierung von "Cuoq, Pascal"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Test-case reduction for C compiler bugs.

, , , , , und . PLDI, Seite 335-346. ACM, (2012)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Pascal Maubach

Pascal Vetterlein

Pascal Vogel

Pascal Bastian

Pascal Bihler

 

Weitere Publikationen von Autoren mit dem selben Namen

Causalité modulaire dans un langage de flots synchrone., und . JFLA, Seite 113-128. INRIA, (2001)Detecting Strict Aliasing Violations in the Wild., , und . VMCAI, Volume 10145 von Lecture Notes in Computer Science, Seite 14-33. Springer, (2017)Modular Causality in a Synchronous Stream Language., und . ESOP, Volume 2028 von Lecture Notes in Computer Science, Seite 237-251. Springer, (2001)A Value Analysis for C Programs., , und . SCAM, Seite 123-124. IEEE Computer Society, (2009)Optimal inverse projection of floating-point addition., , und . Numer. Algorithms, 83 (3): 957-986 (2020)A Mergeable Interval Map., und . Stud. Inform. Univ., 9 (1): 5-37 (2011)Hashconsing in an incrementally garbage-collected system: a story of weak pointers and hashconsing in ocaml 3.10.2., und . ML, Seite 13-22. ACM, (2008)Test-case reduction for C compiler bugs., , , , , und . PLDI, Seite 335-346. ACM, (2012)