PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "McPeak, Scott"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
CCured in the real world.

, , , , und . PLDI, Seite 232-244. ACM, (2003)

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.

Keine Personen gefunden für den Autorennamen McPeak, Scott
Eine Person hinzufügen mit dem Namen McPeak, Scott
 

Weitere Publikationen von Autoren mit dem selben Namen

Data Structure Specifications via Local Equality Axioms., und . CAV, Volume 3576 von Lecture Notes in Computer Science, Seite 476-490. Springer, (2005)CCured: type-safe retrofitting of legacy code., , und . POPL, Seite 128-139. ACM, (2002)ACM SIGPLAN Notices 37(1), January 2002.Elkhound: A Fast, Practical GLR Parser Generator., und . CC, Volume 2985 von Lecture Notes in Computer Science, Seite 73-88. Springer, (2004)An Improved Adaptive Multi-Start Approach to Finding Near-Optimal Solutions to the Euclidean TSP., , , und . GECCO, Seite 143-150. Morgan Kaufmann, (2000)A few billion lines of code later: using static analysis to find bugs in the real world., , , , , , , , , und . Commun. ACM, 53 (2): 66-75 (2010)CCured in the real world., , , , und . PLDI, Seite 232-244. ACM, (2003)CCured: type-safe retrofitting of legacy software., , , , und . ACM Trans. Program. Lang. Syst., 27 (3): 477-526 (2005)CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs., , , und . CC, Volume 2304 von Lecture Notes in Computer Science, Seite 213-228. Springer, (2002)Scalable and incremental software bug detection., , und . ESEC/SIGSOFT FSE, Seite 554-564. ACM, (2013)