Purity and Side Effect Analysis for Java Programs

This publication has 24 references indexed in Scilit:

• Typestates for Objects
  Published by Springer Nature ,2004
• Adapting side effects analysis for modular program model checking
  Published by Association for Computing Machinery (ACM) ,2003
• An overview of JML tools and applications
  Electronic Notes in Theoretical Computer Science, 2003
• CHASE:A Static Checker for JML’s Assignable Clause
  Published by Springer Nature ,2002
• Korat
  Published by Association for Computing Machinery (ACM) ,2002
• Extended static checking for Java
  Published by Association for Computing Machinery (ACM) ,2002
• Which pointer analysis should I use?
  Published by Association for Computing Machinery (ACM) ,2000
• Using shape analysis to reduce finite-state models of concurrent Java programs
  ACM Transactions on Software Engineering and Methodology, 2000
• A region inference algorithm
  ACM Transactions on Programming Languages and Systems, 1998
• Software caching and computation migration in Olden
  Published by Association for Computing Machinery (ACM) ,1995