Program plan recognition for year 2000 tools
There are many commercial tools that address various aspects of the Year 2000 problem. None of these tools, however, make any documented use of plan-based techniques for automated concept recovery. This implies a general perception that plan-based techniques is not useful for this problem. This paper argues that this perception is incorrect and these techniques are in fact mature enough to make a significant contribution. In particular, we show representative code fragments illustrating ``Year 2000'' problems, discuss the problems inherent in recognizing the higher level concepts these fragments implement using pattern-based and rule-based techniques, demonstrate that they can be represented in a programming plan framework, and present some initial experimental evidence that suggests that current algorithms can locate these plans in linear time. Finally, we discuss several ways to integrate plan-based techniques with existing Year 2000 tools.
|Design Tools and Techniques (acm D.2.2), Coding Tools and Techniques (acm D.2.3), Distribution, Maintenance, and Enhancement (acm D.2.7), Processors (acm D.3.4), Specifying and Verifying and Reasoning about Programs (acm F.3.1), Automatic Programming (acm I.2.2)|
|Software (theme 1)|
|Software Engineering [SEN]|
|Organisation||Software Analysis and Transformation|
van Deursen, A, Woods, S, & Quilici, A. (1997). Program plan recognition for year 2000 tools. Software Engineering [SEN]. CWI.