An empirical study into COBOL type inferencing

@article{Deursen2001AnES,
  title={An empirical study into COBOL type inferencing},
  author={Arie van Deursen and Leon Moonen},
  journal={Sci. Comput. Program.},
  year={2001},
  volume={40},
  pages={189-211}
}
In a typical COBOL program, the data division consists of 50% of the lines of code. Automatic type inference can help to understand the large collections of variable declarations contained therein, showing how variables are related based on their actual usage. The most problematic aspect of type inference is pollution, the phenomenon that types become too large, and contain variables that intuitively should not belong to the same type. The aim of the paper is to provide empirical evidence for… CONTINUE READING
Highly Cited
This paper has 28 citations. REVIEW CITATIONS

References

Publications referenced by this paper.
Showing 1-10 of 26 references

Kottik, Reengineering procedural into object-oriented systems, in: Second Working Conf. on Reverse Engineering, WCRE’95

  • G. P. Newcomb
  • IEEE Computer Society, Silver Spring, MD,
  • 1995
Highly Influential
3 Excerpts

Variable classiBcation technique for software maintenance and application to the year

  • K. Kawabe, A. Matsuo, S. Uehara, A. Ogawa
  • Second European Conf. on Software Maintenance and…
  • 2000
2 Excerpts

Anno Domini: From type theory to Year 2000 conversion tool

  • P. H. Eidor, F. Henglein, C. Mossin, H. Niss, M. H. Sorensen, M. Tofte
  • in: 26th Ann. Symp. on Principles of Programming…
  • 1999
3 Excerpts

From type theory to Year 2000 conversion tool

  • F. Henglein, C. Mossin, H. Niss, M. H. Sorensen, M. Tofte
  • th Ann . Symp . on Principles of Programming…
  • 1999

Similar Papers

Loading similar papers…