Learn More
Deductive verification based on weakest-precondition calculus has proved effective at proving imperative programs, through a suitable encoding of memory as functional arrays (a.k.a. the Burstall-Bornat model). Unfortunately, this encoding of memory makes it impossible to support features like union and cast in C. We show that an interesting subset of those(More)
It is now well established that during normal postnatal development there is a partial elimination of the callosal projections of cortical areas 17 and 18 in the cat and that visual experience early in life can modulate this process. In the present experiments, we quantitatively studied the influence of light, per se, by rearing cats in total darkness. Dark(More)
During normal postnatal development there is a partial elimination of the callosal projections of cortical areas 17 and 18 in the cat. Visual experience early in life can modulate this process. In the present study, we investigated how restricting visual experience to alternating monocular occlusion affects the development of the callosal connections of(More)