Recognizing commonly used data structures and algorithms is a key activity in reverse engineering. Systems developed to automate this recognition process have been isolated, stand...
Program transformation systems provide one means of formally deriving a program from its speci cation. The main advantage of this development method is that the executable program...