Journal of the ACM Bibliography

R. Sekar, I. V. Ramakrishnan, and P. Mishra. On the power and limitations of strictness analysis. Journal of the ACM, 44(3):505-525, May 1997. [BibTeX entry]
Categories and Subject Descriptors: D.3.1 [Programming Languages]: Formal Definitions and Theory; D.3.2 [Programming Languages]: Language Classifications -- applicative languages; D.3.4 [Programming Languages]: Processors -- compilers, optimization

General Terms: Languages, Theory, Measurement

Additional Key Words and Phrases: Abstract interpretation, completness, program analysis, strictness analysis

Selected references


  • Journal of the ACM homepage
  • Bibliography top level
  • Journal of the ACM Author Index
  • Search the HBP database