David Notkin: Meaning-preserving Program Restructuring

This project focused on determining ways to perform source-level transformations (now called refactorings in the community) while guaranteeing that the semantics of the program remain unchanged.

Participants

Bill Griswold (now at UCSD)

Dissertation and key publications

William G. Griswold and David Notkin. Architectural Tradeoffs for a Meaning-Preserving Program Restructuring Tool. IEEE Transactions on Software Engineering 21,4, pp. 275—287 (April 1995).
- Download paper (pdf)
William G. Griswold and David Notkin. Automated Assistance for Program Restructuring. ACM Transactions on Software Engineering and Methodology 2,3 pp. 228--269 (July 1993).
- Download paper (pdf)
See Bill Griswold's home page for his dissertation.