static analysis of variable value ranges

spuler@coral.cs.jcu.edu.au (David Spuler)
Wed, 10 Jun 1992 06:40:02 GMT

          From comp.compilers
Related articles
static analysis of variable value ranges spuler@coral.cs.jcu.edu.au (1992-06-10)
Re: static analysis of variable value ranges deutsch@PROOF.ERGO.CS.CMU.EDU (1992-06-10)
| List of all articles for this month |
Newsgroups: comp.compilers
From: spuler@coral.cs.jcu.edu.au (David Spuler)
Keywords: optimize, question
Organization: Compilers Central
Date: Wed, 10 Jun 1992 06:40:02 GMT

I was wondering whether anyone knows of further research into the
technique developed by Harrison to trace the values of variables
throughout program execution. The reference is:




@ARTICLE{Harrison77,
      AUTHOR = "W. Harrison",
      TITLE = "Compiler analysis of the value ranges for variables",
      JOURNAL = "IEEE Transactions on Software Engineering",
      VOLUME = SE-3,
      NUMBER = 3,
      MONTH = May,
      YEAR = 1977}


Thanks in advance for any pointers or references.
David Spuler
--

Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.