@article{komondoor2005guarded,
author = {Komondoor, Raghavan and Ramalingam, G. and Chandra, Satish and Field, John},
title = {Guarded Types for Program Understanding},
year = {2005},
month = {April},
abstract = {Weakly-typed languages such as Cobol often force programmers to represent distinct data abstractions using the same low-level physical type. In this paper, we describe a technique to recover implicitly defined data abstractions from programs using type inference. We present a novel system of guarded types, a path-sensitive algorithm for inferring guarded types for Cobol programs, and a semantic characterization of correct guarded typings. The results of our inference technique can be used to enhance program understanding for legacy applications, and to enable a number of type-based program transformations.},
publisher = {IBM Research},
url = {http://approjects.co.za/?big=en-us/research/publication/guarded-types-program-understanding/},
journal = {In Eleventh International Conference on Tools and Algorithms for the Construction and Analysis of Systems},
edition = {In Eleventh International Conference on Tools and Algorithms for the Construction and Analysis of Systems},
}