Analysing Functions by Projection-Based Backward Abstraction

  • Kei Davis
Conference paper
Part of the Workshops in Computing book series (WORKSHOPS COMP.)


Various techniques for strictness analysis by non-standard interpretation have been proposed in which the basic non-standard values are projections. We show that continuous functions can be completely characterised by appropriate forward and backward abstractions.


Continuous Function Stable Function Safety Condition Projection Transformer Abstract Domain 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    Wray, S. “A new strictness detection algorithm.” In Proceedings of the Workshop in Implementation of Functional Languages (Aspenäs, Sweden). L. Augustsson et. al., eds. Report 17, Programming Methodology Group, Department of Computer Sciences, Chalmers University of Technology and University of Göteborg, Göteborg, Sweden.Google Scholar
  2. [2]
    Augustsson, L. and.Johnson, T. “The Chalmers Lazy ML Compiler.” Department of Computer Science, Chalmers University of Technology, Göteborg, Sweden, 1988.Google Scholar
  3. [3]
    Burn, G.L., “Using Projection Analysis in Compiling Lazy Functional Programs”, Proceedings of the 1990 ACM Conference on Lisp and Functioz al Programming,ACM, 1990.Google Scholar
  4. [4]
    Wadler, P., and Hughes, J. “Projections for Strictness Analysis.” In Proceedings of Functional Programming Languages and Computer Architecture (Portland, Oregon). G. Kahn, ed. LNCS 274. Springer-Verlag, Berlin, 1987.Google Scholar
  5. [5]
    Hunt, S. Projection analysis and stable functions. Unfinished manuscript.Google Scholar
  6. [6]
    Davis, K. “A Note on the Choice of Domains for Projection-Based Program Analysis.” In Functional Programming: Proceedings of the 1991 Glasgow Workshop, 13–15 August 1991, Isle of Skye, . P. Wadler et al., eds. Springer Workshops in Computing. Springer-Verlag, 1992.Google Scholar
  7. [7]
    Launchbury, J. Projection Factorisations in Partial Evaluation. PhD Thesis, Glasgow University, Nov 89. Distinguished Dissertation in Computer Science, Vol 1, CUP, 1991.Google Scholar
  8. [8]
    Berry, G. “Stable models of typed lambda-calculi.” In Proceedings of the 5th ICALP pp 375–387, LNCS 62. Springer-Verlag, Berlin, 1978.Google Scholar
  9. [9]
    Hughes, R.J.M. and Launchbury, J. “Relational Reversal of Abstract Interpretation.” In ??.Google Scholar

Copyright information

© British Computer Society 1993

Authors and Affiliations

  • Kei Davis
    • 1
  1. 1.Department of Computing ScienceUniversity of GlasgowGlasgowUK

Personalised recommendations