共 22 条
- [1] AGRAWAL H, 1991, ACM IEEE CS OCT
- [2] Aho Alfred V., 2007, COMPILERS PRINCIPLES
- [3] BANNING JB, 1979, C 6 ANN ACM S PRINC, P29
- [4] Binkley David, 1993, Software Engineering Research Forum, P261
- [5] CALLAHAN D, 1988, P SIGPLAN 88 C PROGR, P47, DOI DOI 10.1145/53990.53995
- [6] Cousot P., 1977, Proceedings of the 4th ACM SIGACTSIGPLAN symposium on Principles of programming languages, P238, DOI [DOI 10.1145/512950.512973, 10.1145/512950.512973]
- [7] HARDEN MP, 1997, YEAR 2000 J NOV
- [8] A scaleable, automated process for year 2000 system correction [J]. PROCEEDINGS OF THE 18TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, 1996, : 475 - 484
- [9] HART JM, 1997, YEAR 2000 J MAR
- [10] HORWITZ S, 1990, ACM T PROGR LANG SYS, V12, P26, DOI 10.1145/960116.53994