Effect analysis in higher-order languages

This publication has 18 references indexed in Scilit:

• Intererence analysis tools for parallelizing programs with recursive data structures
  Published by Association for Computing Machinery (ACM) ,1989
• Strictness analysis for higher-order functions
  Science of Computer Programming, 1986
• Interprocedural dependence analysis and parallelization
  ACM SIGPLAN Notices, 1986
• Semantics of interference control
  Theoretical Computer Science, 1983
• Strong abstract interpretation using power domains
  Published by Springer Nature ,1983
• An efficient way to find the side effects of procedure calls and the aliases of variables
  Published by Association for Computing Machinery (ACM) ,1979
• A practical interprocedural data flow analysis algorithm
  Communications of the ACM, 1978
• Syntactic control of interference
  Published by Association for Computing Machinery (ACM) ,1978
• Static determination of dynamic properties of generalized type unions
  ACM SIGSOFT Software Engineering Notes, 1977
• Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints
  Published by Association for Computing Machinery (ACM) ,1977