Spark: A flexible points-to analysis framework for Java

Mechanism for automatically placing into precise position a microform in a reader for reading the microform, and for automatically positioning the microform for removal from the reader. The microform carrier has a top plate spaced from the bottom plate, the plates being slidable as a unit for positioning of the microform. The carrier includes a pair of rotatable elements movable toward and away from the top plate, each of the elements having a peripheral surface thereon wherein the frictional effect is greater between the element surface and the microform than between the microform and the top plate. The surfaces of the rotatable elements are engageable with the microform at a predetermined point in the travel of the carrier for carrying the microform into a loading or reading position, and for ejecting the microform into an unloading position. Camming means are provided along the sides of the carrier support to raise the lower plate a slight amount and maintain the microform against the top plate in one position of the carrier, and to release the lower plate in another position of the carrier.