Refining specifications to logic programs

The refinement calculus provides a framework for the stepwise development of imperative programs from specifications. In this paper we study a refinement calculus for deriving logic programs. Dealing with logic programs rather than imperative programs has the dual advantages that, due to the expressive power of logic programs, the final program is closer to the original specification, and each refinement step can achieve more. Together these reduce the overall number of derivation steps. We present a logic programming language extended with specification constructs (including general predicates, assertions, and types and invariants) to form a wide-spectrum language. General predicates allow non-executable properties to be included in specifications. Assertions, types and invariants make assumptions about the intended inputs of a procedure explicit, and can be used during refinement to optimize the constructed logic program. We provide a semantics for the extended logic programming language and derive a set of refinement laws. Finally we apply these to an example derivation.

Effect of academic psychological stress in post-graduate students: The modulatory role of cortisol on superoxide release by neutrophils

Experimental and clinical evidence shows that neutrophils play an important role in the mechanism of tissue injury in immune complex diseases through the generation of reactive oxygen species. In this study, we examined the influence of academic psychological stress in post-graduate students on the capacity of their blood neutrophils to release superoxide when stimulated by immune complexes bound to nonphagocytosable surfaces and investigated the modulatory effect of cortisol on this immune function. The tests were performed on the day before the final examination. The state-trait anxiety inventory questionnaire was used to examine whether this stressful event caused emotional distress. In our study, the psychological stress not only increased plasma cortisol concentration, but it also provoked a reduction in superoxide release by neutrophils. This decrease in superoxide release was accompanied by diminished mRNA expression for subunit p47(phox) of the phagocyte superoxide-generating nicotinamide adenine dinucleotide phosphate-oxidase. These inhibitory effects were also observed by in vitro exposure of neutrophils from control volunteers to 10(-7) M hydrocortisone, and could be prevented by the glucocorticoid receptor antagonist RU-486. These results show that in a situation of psychological stress, the increased levels of cortisol could inhibit superoxide release by neutrophils stimulated by IgG immune complexes bound to nonphagocytosable surfaces, which could attenuate the inflammatory state.

Developing logic programs from specifications using stepwise refinement

In this paper we demonstrate a refinement calculus for logic programs, which is a framework for developing logic programs from specifications. The paper is written in a tutorial-style, using a running example to illustrate how the refinement calculus is used to develop logic programs. The paper also presents an overview of some of the advanced features of the calculus, including the introduction of higher-order procedures and the refinement of abstract data types.