Drawing on a significantly updated version co-authored by Reynolds and the originator of Critical Systems Heuristics (CSH), Werner Ulrich, CSH is regarded as part of a ‘systems thinking in practice’ framework for evaluating complex situations from different stakeholder perspectives. The situation under evaluation (e.g. a purposeful activity like a report, programme or project etc.) is framed as...

Modern concurrent programming languages like Java and C# have a programming language level memory model; it captures the set of all allowed behaviors of programs on any implementation platform — unior multi-processor. Such a memory model is typically weaker than Sequential Consistency and allows re-ordering of operations within a program thread. Therefore, programs verified correct by assuming ...

Interprocedural analyses can be classiied as either context-insensitive, which tend to sacri-ce precision to gain eeciency, or context-sensitive, which are more precise but also more expensive. This paper discusses a proole-guided approach to interprocedural analysis that is context-sensitive, and hence more precise, for the \important" call sites for a function, and context-insensitive, and he...

The subject of this paper is flowand context-insensitive pointer analysis. We present, for the first time, a fieldsensitive constraint-based analysis for C and evaluate its effects on time and precision. In addition, we study in detail four solving algorithms, including the Heintze-Tardieu solver, over 7 common C programs ranging in size from 5000 to 150,000 lines of code. Our results indicate ...

benign hepatomas in CSH male mice is strikingly lower among animals fed a semi-purified ration containing 9 per cent casein than among those fed a diet containing 18 per cent casein as the principal source of protein (11). From the viewpoint of nutrition, the main differences between the diet containing 9 per cent and that with 18 per cent casein are (a) the total amount of protein and, more pa...

Background: The hematopoietic system is sensitive to the adverse effects of ionizing radiation. Cellular therapies utilizing mesenchymal stem cells or vascular endothelial cells have been explored as potential countermeasures for radiation hematopoietic injuries. We investigated cells cultured from amnion                ...