Autor der Publikation

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

iRho: an imperative rewriting calculus., und . Mathematical Structures in Computer Science, 18 (3): 467-500 (2008)Static Reduction Analysis for Imperative Object Oriented Languages., und . LPAR, Volume 1955 von Lecture Notes in Computer Science, Seite 344-361. Springer, (2000)Context Inference for Static Analysis of Java Card Object Sharing., , und . E-smart, Volume 2140 von Lecture Notes in Computer Science, Seite 43-57. Springer, (2001)Implementing a semi-causal domain-specific language for context detection over binary sensors., , und . GPCE, Seite 66-78. ACM, (2018)Partial Evaluation and Non-interference for Object Calculi., und . Fuji International Symposium on Functional and Logic Programming, Volume 1722 von Lecture Notes in Computer Science, Seite 53-67. Springer, (1999)Tilting at Windmills with Coq: Formal Verification of a Compilation Algorithm for Parallel Moves., , und . J. Autom. Reasoning, 40 (4): 307-326 (2008)Bigloo.NET: compiling Scheme to .NET CLR., , und . Journal of Object Technology, 3 (9): 71-94 (2004)An interpreter for server-side hop., und . DLS, Seite 1-12. ACM, (2011)Asynchronous and deterministic objects., , und . POPL, Seite 123-134. ACM, (2004)Scheme fair threads., , und . PPDP, Seite 203-214. ACM, (2004)