Abstract: This invention computes by constructing a lattice of states. Every lattice of states corresponding to correct execution satisfies the temporal logic formula comprising a Definitive Axiomatic Notation for Concurrent Execution (DANCE) program. This invention integrates into a state-lattice computational model: a polymorphic, strong type system; visibility-limiting domains; first-order assertions; and logic for proving a program correctness. This invention includes special hardware means for elimination of cache coherency among other things, necessary to construct state-lattices concurrently. The model of computation for the DANCE language consisting of four, interrelated, logical systems describing state-lattices, types, domains, and assertions. A fifth logical system interrelates the other four systems allowing proofs of program correctness. The method of the present invention teaches programs as temporal formulas satisfied by lattices of states corresponding to correct execution.

Abstract: The present invention relates to an apparatus for cutting motion picture film negatives. The improvements in the present invention film cutting apparatus enable the film cutter to cut the motion picture film negative with a precise, even, clean cut at a location mid-way between adjacent frames of film footage. This is necessary when using a new technique of negative cutting and splicing that allows no frame loss and still maintains all of the requirements of professional (state of the art) motion picture film processing. This has never before been done. The improvements include individual film seating plates which press the lengths of motion picture film to be cut against individual film support and ejection plates to assure that the lengths of film are securely held prior to and during the cutting operation. The present invention also provides safety features to assure that the operator will not accidentally cut himself during the operation.

Abstract: An improved method of splicing film such as original motion picture film negative which provides a quick, efficient and inexpensive way to splice the film in such a fashion that no frames of film footage are lost as a result of the splice, the splice is permanent and a new splice can be made over the old splice if necessary.