Practical specification languages for imperative and object-oriented programs, such as JML, Eiffel, and Spec#, allow the use of program expressions including method calls in specification formulas. For coherent semantics of specifications, and to avoid anomalies with runtime assertion checking, expressions in specifications and assertions are typically required to be weakly pure in the sense th...

objective(s): predegeneration is a standard technique to obtain mitotically activated and enriched cultures of schwann cells (scs). this study, for the first time, evaluated the impact of various duration of predegeneration on cell yield and enrichment of scs from dog peripheral nerve. materials and methods: dog sural nerves were subjected to 5, 10, 15 day-long in vitro predegeneration. the tot...