kirancodes.me
To Proof Maintenance & Beyond!

Abstract Data Structure Recognition

René Dekker, Frans Ververs

Abstract

We present a framework for recognition of data structures in programs, to aid in design recovery. The framework consists of an intermediate representation and a knowledge base containing information about typical implementations of abstract data types. The framework is suited for recognition of data structures combined with their characteristic operations. Abstract data structures can be recognized partially, they can be recognized even if they are delocalized and different independent interpretations of the same structures can be generated.>

BibTeX
@inproceedings{Dekker-Ververs:ASE94,
  author    = {Ren{\'{e}} Dekker and
               Frans Ververs},
  title     = {Abstract Data Structure Recognition},
  booktitle = {ASE},
  pages     = {133--140},
  publisher = {{IEEE} Computer Society},
  year      = {1994},
}

Related papers