Dynamic purity analysis for java programs

@inproceedings{Xu2007DynamicPA,
  title={Dynamic purity analysis for java programs},
  author={Haiying Xu and Christopher J. F. Pickett and Clark Verbrugge},
  booktitle={PASTE},
  year={2007}
}
The pure methods in a program are those that exhibit functional or side effect free behaviour, a useful property in many contexts. However, existing purity investigations present primarily staticresults. We perform a detailed examination of dynamic method purityin Java programs using a JVM-based analysis. We evaluate multiple purity definitions that range from strong to weak, consider purity forms specific to dynamic execution, and accomodate constraintsimposed by an example consumer… CONTINUE READING
Tweets
This paper has been referenced on Twitter 1 time. VIEW TWEETS

Citations

Publications citing this paper.
SHOWING 1-10 OF 26 CITATIONS, ESTIMATED 34% COVERAGE

77 Citations

01020'09'12'15'18
Citations per Year
Semantic Scholar estimates that this publication has 77 citations based on the available data.

See our FAQ for additional information.

References

Publications referenced by this paper.
SHOWING 1-3 OF 3 REFERENCES

Similar Papers

Loading similar papers…