( en | de | ru )

 

Disambiguierung von "Millstein, Todd D."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Polymorphic predicate abstraction.

, , und . ACM Trans. Program. Lang. Syst., 27 (2): 314-343 (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.

Todd Templeton

Catarina Alice Todd

Todd Sepke

Todd Foy

Todd Papaioannou

 

Weitere Publikationen von Autoren mit dem selben Namen

Fine-Grained Access Control with Object-Sensitive Roles., , , und . ECOOP, Volume 5653 von Lecture Notes in Computer Science, Seite 173-194. Springer, (2009)An Extensible State Machine Pattern for Interactive Applications., und . ECOOP, Volume 5142 von Lecture Notes in Computer Science, Seite 566-591. Springer, (2008)Tasks: language support for event-driven programming., , und . PEPM, Seite 134-143. ACM, (2007)Packrat parsers can support left recursion., , und . PEPM, Seite 103-110. ACM, (2008)Bounded similarity querying for time-series data., , und . Inf. Comput., 194 (2): 203-241 (2004)Practical predicate dispatch.. OOPSLA, Seite 345-364. ACM, (2004)A framework for implementing pluggable type systems., , , und . OOPSLA, Seite 57-74. ACM, (2006)Finding protocol manipulation attacks., , , , und . SIGCOMM, Seite 26-37. ACM, (2011)Lessons from the evolution of the Batfish configuration analysis tool., , , , , und . SIGCOMM, Seite 122-135. ACM, (2023)Cobalt: A Language for Writing Provably-Sound Compiler Optimizations., , und . COCV@ETAPS, Volume 132 von Electronic Notes in Theoretical Computer Science, Seite 5-17. Elsevier, (2004)