( en | de | ru )

 

Disambiguierung von "Wand, Mitchell"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A semantics for advice and dynamic join points in aspect-oriented programming.

, , und . ACM Trans. Program. Lang. Syst., 26 (5): 890-910 (2004)

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.

Daniell Mitchell

Gail Mitchell

Brian Mitchell

Margaret Mitchell

John Mitchell

 

Weitere Publikationen von Autoren mit dem selben Namen

Complete Type Inference for Simple Objects. LICS, Seite 37-44. IEEE Computer Society, (1987)The VLISP Verified PreScheme Compiler., , und . LISP Symb. Comput., 8 (1-2): 111-182 (1995)Continuation Semantics in Typed Lambda-Calculi (Summary)., und . Logic of Programs, Volume 193 von Lecture Notes in Computer Science, Seite 219-224. Springer, (1985)Type Inference for Partial Types is Decidable., und . ESOP, Volume 582 von Lecture Notes in Computer Science, Seite 408-417. Springer, (1992)A Compositional Trace Semantics for Orc., und . COORDINATION, Volume 5052 von Lecture Notes in Computer Science, Seite 331-346. Springer, (2008)A semantics for advice and dynamic join points in aspect-oriented programming., , und . ACM Trans. Program. Lang. Syst., 26 (5): 890-910 (2004)A Language for Specifying Recursive Traversals of Object Structures., und . OOPSLA, Seite 70-81. ACM, (1999)SIGPLAN Notices 34(10).Linear Future Semantics and Its Implementation., und . Sci. Comput. Program., 8 (1): 87-103 (1987)Small bisimulations for reasoning about higher-order imperative programs., und . POPL, Seite 141-152. ACM, (2006)Revised Report on the Algorithmic Language Scheme., , , , , , , , , und 6 andere Autor(en). High. Order Symb. Comput., 11 (1): 7-105 (1998)