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
- Patrick Cousot and Radhia Cousot. Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints. In Conference Record of the Fourth ACM Symposium on Principles of Programming Languages, pages 238-252, Los Angeles, California, January 1977.
- Christine Ernoult and Alan Mycroft. Untyped strictness analysis. Journal of Functional Programming, 5(1):37-49, January 1995.
- Cordelia V. Hall and David S. Wise. Compiling strictness into streams. In Conference Record of the Fourteenth Annual ACM Symposium on Principles of Programming Languages, pages 132-143, Munich, Germany, January 1987.
- Paul Hudak and Jonathan Young. Higher-order strictness analysis in untyped lambda calculus. In Conference Record of the Thirteenth Annual ACM Symposium on Principles of Programming Languages, pages 97-109, St. Petersburg Beach, Florida, January 1986.
- Sebastian Hunt and Chris Hankin. Fixed points and frontiers: a new perspective. Journal of Functional Programming, 1(1):91-120, January 1991.
- R. C. Sekar, Prateek Mishra, and I. V. Ramakrishnan. On the power and limitation of strictness analysis based on abstract interpretation. In Conference Record of the Eighteenth Annual ACM Symposium on Principles of Programming Languages, pages 37-48, Orlando, Florida, January 1991.
- R. C. Sekar and I. V. Ramakrishnan. Programming in equational logic: Beyond strong sequentiality. Information and Computation, 104(1):78-109, May 1993.
- R. C. Sekar and I. V. Ramakrishnan. Fast strictness analysis based on demand propagation. ACM Transactions on Programming Languages and Systems, 17(6):896-937, November 1995.