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

Generic Program Transformation., and . Advanced Functional Programming, volume 1608 of Lecture Notes in Computer Science, page 116-149. Springer, (1998)More Haste, Less Speed: Lazy Versus Eager Evaluation., , and . J. Funct. Program., 7 (5): 541-547 (1997)The Algebra of Programming, and . Prentice Hall, (September 1997)Refactoring Tools, , , , , , and . (2008)An Algebraic Construction of Predicate Transformers., , and . MPC, volume 669 of Lecture Notes in Computer Science, page 100-121. Springer, (1992)Inductive Data Types for Predicate Transformers.. Inf. Process. Lett., 43 (3): 113-117 (1992)Tracking Static Analysis Violations over Time to Capture Developer Characteristics., , , , , , , and . ICSE (1), page 437-447. IEEE Computer Society, (2015)From Dynamic Programming to Greedy Algorithms., and . Formal Program Development, volume 755 of Lecture Notes in Computer Science, page 43-61. Springer, (1993)The algebra of programming., and . NATO ASI DPD, page 167-203. (1996)Type inference for datalog with complex type hierarchies., and . POPL, page 145-156. ACM, (2010)