( en | de | ru )

 

Disambiguierung von "Flanagan, Cormac"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Automatic type inference via partial evaluation.

, und . PPDP, Seite 106-116. ACM, (2005)

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 Flanagan, Cormac
Eine Person hinzufügen mit dem Namen Flanagan, Cormac
 

Weitere Publikationen von Autoren mit dem selben Namen

Automatic type inference via partial evaluation., und . PPDP, Seite 106-116. ACM, (2005)Effects for cooperable and serializable threads., und . TLDI, Seite 3-14. ACM, (2010)Extending JML for Modular Specification and Verification of Multi-threaded Programs., , , , , und . ECOOP, Volume 3586 von Lecture Notes in Computer Science, Seite 551-576. Springer, (2005)Cartesian Partial-Order Reduction., , , und . SPIN, Volume 4595 von Lecture Notes in Computer Science, Seite 95-112. Springer, (2007)Types for Safe Locking., und . ESOP, Volume 1576 von Lecture Notes in Computer Science, Seite 91-108. Springer, (1999)Thread-Modular Verification for Shared-Memory Programs., , und . ESOP, Volume 2305 von Lecture Notes in Computer Science, Seite 262-277. Springer, (2002)Type Inference Against Races., und . SAS, Volume 3148 von Lecture Notes in Computer Science, Seite 116-132. Springer, (2004)Houdini, an Annotation Assistant for ESC/Java., und . FME, Volume 2021 von Lecture Notes in Computer Science, Seite 500-517. Springer, (2001)The semantics of future and its use in program optimization, und . ACM Press, (1995)Predicate abstraction for software verification., und . POPL, Seite 191-202. ACM, (2002)ACM SIGPLAN Notices 37(1), January 2002.