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

Abstracting a specification from code.. Journal of Software Maintenance, 5 (2): 101-122 (1993)Language-Oriented Programming.. Software - Concepts and Tools, 15 (4): 147-161 (1994)Formal Methods to Aid the Evolution of Software., and . International Journal of Software Engineering and Knowledge Engineering, 5 (1): 25-47 (1995)Provably correct derivation of algorithms using FermaT., and . Formal Aspects Comput., 26 (5): 993-1031 (2014)Understanding concurrent programs using program transformations., and . WPC, page 160-168. IEEE, (1993)The Formal Transformation Approach to Source Code Analysis and Manipulation.. SCAM, page 187-195. IEEE Computer Society, (2001)Climbing the Hill to Understand the Code., , , and . IEEE Access, (2024)A Recursion Removal Theorem.. Refine, page 43-69. Springer London, (1992)Slicing as a program transformation., and . ACM Trans. Program. Lang. Syst., 29 (2): 7 (2007)A Practical Program Transformation System for Reverse Engineering., and . WCRE, page 212-221. IEEE Computer Society, (1993)