Simple type system for program reengineering | IEEE Conference Publication | IEEE Xplore