Shape Analysis

This publication has 20 references indexed in Scilit:

• A Kleene Analysis of Mobile Ambients
  Published by Springer Nature ,2000
• New shape analysis techniques for automatic parallelization of C codes
  Published by Association for Computing Machinery (ACM) ,1999
• Detecting memory errors via static pointer analysis (preliminary experience)
  ACM SIGPLAN Notices, 1998
• Solving shape-analysis problems in languages with destructive updating
  ACM Transactions on Programming Languages and Systems, 1998
• Building a bridge between pointer aliases and program dependences
  Published by Springer Nature ,1998
• Interprocedural may-alias analysis for pointers
  ACM SIGPLAN Notices, 1994
• Analysis of dynamic structures for efficient parallel execution
  Published by Springer Nature ,1994
• A lattice for abstract interpretation of dynamic (LISP-like) structures
  Information and Computation, 1992
• Abstractions for recursive pointer data structures
  ACM SIGPLAN Notices, 1992
• Parallelizing programs with recursive data structures
  IEEE Transactions on Parallel and Distributed Systems, 1990