We present the SATIrE source-to-source analysis framework within the context of ALL-TIMES, a European research and development project aimed at improving and integrating existing tools in the area of timing analysis. Within the project, SATIrE contributes by performing source-level static analysis on C programs and exporting its results for other tools to use. This work gives an overview of SAT...

In this issue we present an exchange of views arising from the DSM-IV diagnostic criteria for delusions. Anchoring the discussion is an article by Drs. Mujica-Parodi and Sackeim in which they examine the DSM-IV requirement that to be classified as a delusion, a belief must be discordant with beliefs ordinarily accepted by the patient’s culture or subculture. They propose that an information-pro...

In her study of mutilating surgical operations on women, Ann Dally drew attention to a pamphlet, The London Surgical Home, by John Scoffern, concerning the activities of the London obstetrician, Dr Isaac Baker Brown. As is now well known, Brown was the leader of a short-lived vogue for treating nervous diseases in women (especially epilepsy, catalepsy and hysteria), thought to be caused by ‘‘pe...