Program plan recognition for year 2000 tools

Citation
A. Van Deursen et al., Program plan recognition for year 2000 tools, SCI COMP PR, 36(2-3), 2000, pp. 303-324
Citations number
39
Categorie Soggetti
Computer Science & Engineering
Journal title
SCIENCE OF COMPUTER PROGRAMMING
ISSN journal
01676423 → ACNP
Volume
36
Issue
2-3
Year of publication
2000
Pages
303 - 324
Database
ISI
SICI code
0167-6423(200003)36:2-3<303:PPRFY2>2.0.ZU;2-H
Abstract
There are many commercial tools that address various aspects of the Year 20 00 problem. None of these tools, however, addresses the closely related lea p-year problem. In this paper, we provide experimental results that suggest that the leap-year problem can be addressed by plan-based techniques for a utomated concept recovery. In particular, we provide representative code fr agments illustrating the leap-year problem, and we show the results of an e mpirical study that provides evidence that a plan-based approach can effici ently recognize both correct and incorrect leap-year computations and that the needed plan library is likely to be tractable in size. This paper furth ermore argues that plan-based techniques are in fact mature enough to make a significant contribution to the Year 2000 problem itself, despite none of the existing tools making any documented use of these plan-based technique s. (C) 2000 Elsevier Science B.V. All rights reserved.