Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

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