Type Test Elimination Using Typeflow Analysis

  title={Type Test Elimination Using Typeflow Analysis},
  author={Diane Corney and K. John Gough},
  booktitle={Programming Languages and System Architectures},
Programs written in languages of the Oberon family usually contain runtime tests on the dynamic type of variables. In some cases it may be desirable to reduce the number of such tests. Typeeow analysis is a static method of determining bounds on the types that objects may possess at runtime. We show that this analysis is able to reduce the number of tests in certain plausible circumstances. Furthermore, the same analysis is able to detect certain program errors at compile time, which would… CONTINUE READING


Publications referenced by this paper.
Showing 1-7 of 7 references

ossenb ock and N. Wirth: The Programming Language Oberon-2, Computer Science Report 160

  • M H.
  • 1991
Highly Influential
16 Excerpts

Type ow Analysis by Clade Algebra, Information Tech nology Report 9/93

  • J. Gough, D. Corney
  • QUT Brisbane,
  • 1993
2 Excerpts

Similar Papers

Loading similar papers…