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

Higher-order matching for program transformation., und . Theor. Comput. Sci., 269 (1-2): 135-162 (2001)The algebra of programming., und . NATO ASI DPD, Seite 167-203. (1996)Categories,Relations and Dynamic Programming. Univ.Oxf.Computing Lab.,Programming Research Gp., (April 1992)Sound and extensible renaming for java, , und . OOPSLA '08: Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications, Seite 277--294. New York, NY, USA, ACM, (2008)Type inference for datalog with complex type hierarchies., und . POPL, Seite 145-156. ACM, (2010)From Dynamic Programming to Greedy Algorithms., und . Formal Program Development, Volume 755 von Lecture Notes in Computer Science, Seite 43-61. Springer, (1993)Inductive Data Types for Predicate Transformers.. Inf. Process. Lett., 43 (3): 113-117 (1992)Algebra of programming., und . Prentice Hall International series in computer science Prentice Hall, (1997)An Algebraic Construction of Predicate Transformers., , und . MPC, Volume 669 von Lecture Notes in Computer Science, Seite 100-121. Springer, (1992)abc : An Extensible AspectJ Compiler., , , , , , , , , und . LNCS Trans. Aspect Oriented Softw. Dev., (2006)