We are pleased to present the following Review Forum of Harvey Whitehouse’s book, Arguments and Icons: Divergent Modes of Religiosity. Oxford: Oxford University Press, 2000. 204 pages. ISBN 0-19- 823414-7 (cloth); 0-19-823415-5 (paper). We have given the contributors and the book’s author sufficient space to discuss its themes carefully and thus make a significant contribution to the further analysis of religion and ritual generally.

arbitrary flowchart programs by introducing a new recursive function for each tag point. In the above example, one obtains: int = int1, p..... 1 h ), w...., y2r )_.

In their environment, plants are continuously submitted to natural stimuli such as wind, rain, temperature changes, wounding, etc. These signals induce a cascade of events which lead to metabolic and morphogenetic responses.In this paper the different steps are described and discussed starting from the reception of the signal by a plant organ to the final morphogenetic response. In our laboratory two plants are studied: Bryonia dioica for which rubbing the internode results in reduced elongation and enhanced radial expansion and Bidens (...) pilosa for which the response occurs at distance, hence pricking the cotyledon of a plantlet induces the growth inhibition of both the hypocotyl and the axillary bud of the pricked cotyledon. (shrink)

How are the properties of computer programs proved? We discuss three approaches in this article: inductive invariants, functional semantics, and explicit semantics. Because the first approach has received by far the most attention, it has produced the most impressive results to date. However, the field is now moving away from the inductive invariant approach.