Before forming a monopolar attachment to the closest spindle pole, chromosomes attaching in newt (Taricha granulosa) pneumocytes generally reside in an optically clear region of cytoplasm that is largely devoid of cytoskeletal components, organelles, and other chromosomes. We have previously demonstrated that chromosome attachment in these cells occurs when an astral microtubule contacts one of...

We describe a macro called defpun-exec to attach executable bodies to partial functions in ACL2. The macro makes use of two features mbe and defexec introduced in ACL2 from version 2.8, that afford a clean separation of execution efficiency from logical elegance.

Component contract, as an interface specification, is a good idea for improving software quality. This paper describes the technique of dynamically attaching behavioral contracts a posteriori to binary component with no explicit contracts discipline, and presents a model based on the Common Language Infrastructure (CLI) to organize component contracts in the form of metadata and to perform effi...