Determining storage properties of sequential and concurrent programs with assignment and structured data

This publication has 19 references indexed in Scilit:

• Analyzing the communication topology of concurrent programs
  Published by Association for Computing Machinery (ACM) ,1995
• Abstract Interpretation Frameworks
  Journal of Logic and Computation, 1992
• Static analysis of linear congruence equalities among variables of a program
  Published by Springer Nature ,1991
• Copy elimination in functional languages
  Published by Association for Computing Machinery (ACM) ,1989
• Update analysis and the efficient implementation of functional aggregates
  Published by Association for Computing Machinery (ACM) ,1989
• Flow analysis and optimization of LISP-like structures
  Published by Association for Computing Machinery (ACM) ,1979
• Automatic discovery of linear restraints among variables of a program
  Published by Association for Computing Machinery (ACM) ,1978
• 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
• Affine relationships among variables of a program
  Acta Informatica, 1976
• Analysis of Programs for Parallel Processing
  IEEE Transactions on Electronic Computers, 1966