Advisory Working Group on Undergraduate Enrollment Files, 1989-1990

Contains correspondence and reports from the Office of the Provost for the Advisory Working Group on Undergraduate Enrollment from 1989-1990. This PDF was digitized from the records of the College of William and Mary Office of the Provost in the Special Collections Research Center in Swem Library on November 13, 2009. From the College of William and Mary Office of the Provost Records (UA 3), Accession 1992.024, Box 2, Folder 42: Enrollment--Advisory Working Group on Undergraduate Enrollment, 1989-1990

JPure: A Modular Purity System for Java

Abstract—Purity Analysis is the problem of determining whether or not a method may have side-effects. This has many applications, including automatic parallelisation, extended static checking, and more. We present a novel algorithm for inferring the purity of methods in Java. Our algorithm exploits two properties, called freshness and locality, which, when combined together, enable more precise purity analysis. Our algorithm also differs from the majority of previous attempts at purity analysis, in that it is modularly checkable. That is, the algorithm produces annotations which can be checked without the need for an expensive and costly interprocedural analysis. We evaluate our analysis against several packages from the Java Standard Library. Our results indicate that it is possible to uncover significant amounts of purity efficiently. I