( en | de | ru )

 

Disambiguierung von "Freund, Stephen N."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Thread-Modular Verification for Shared-Memory Programs.

, , und . ESOP, Volume 2305 von Lecture Notes in Computer Science, Seite 262-277. Springer, (2002)

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.

n n n

n AÊ¿w n

N -L N Nguyen

n-hy n Yi

Stephen Cochrane

 

Weitere Publikationen von Autoren mit dem selben Namen

The type system for object initializatiion in the Jave bytecode language., und . ACM Trans. Program. Lang. Syst., 21 (6): 1196-1250 (1999)Exploiting purity for atomicity., , und . ISSTA, Seite 221-231. ACM, (2004)Dynamic Architecture Extraction., und . FATES/RV, Volume 4262 von Lecture Notes in Computer Science, Seite 209-224. Springer, (2006)RedCard: Redundant Check Elimination for Dynamic Race Detectors., und . ECOOP, Volume 7920 von Lecture Notes in Computer Science, Seite 255-280. Springer, (2013)Adding Type Parameterization to the Java Language., , und . OOPSLA, Seite 49-65. ACM, (1997)SIGPLAN Notices 32(10).Atomizer: a dynamic atomicity checker for multithreaded programs., und . POPL, Seite 256-267. ACM, (2004)A Type System For Object Initialization In the Java Bytecode Language., und . HOOTS, Volume 10 von Electronic Notes in Theoretical Computer Science, Seite 242-245. Elsevier, (1997)Type-based race detection for Java., und . PLDI, Seite 219-232. ACM, (2000)Programming languages as part of core computer science., und . ACM SIGPLAN Notices, 43 (11): 50-54 (2008)Type Inference Against Races., und . SAS, Volume 3148 von Lecture Notes in Computer Science, Seite 116-132. Springer, (2004)