The development of a program analysis environment for Ada

A unit level, Ada software module testing system, called Query Utility Environment for Software Testing of Ada (QUEST/Ada), is described. The project calls for the design and development of a prototype system. QUEST/Ada design began with a definition of the overall system structure and a description of component dependencies. The project team was divided into three groups to resolve the preliminary designs of the parser/scanner: the test data generator, and the test coverage analyzer. The Phase 1 report is a working document from which the system documentation will evolve. It provides history, a guide to report sections, a literature review, the definition of the system structure and high level interfaces, descriptions of the prototype scope, the three major components, and the plan for the remainder of the project. The appendices include specifications, statistics, two papers derived from the current research, a preliminary users' manual, and the proposal and work plan for Phase 2

Children of prisoners: exploring the impact of families' reappraisal of the role and status of the imprisoned parent on children's coping strategies

Qualitative data from a larger study on the impact of parental imprisonment in four countries found that children of prisoners face fundamentally similar psychological and social challenges. The ways that children cope, however, are influenced by the interpretative frame adopted by the adults around them, and by how issues of parental imprisonment are talked about in their families. This article argues that families have to reappraise their view of the imprisoned parent and then decide on their policy for how to deal with this publicly. Their approach may be based on openness and honesty or may emphasise privacy and secrecy, or a combination of these. Children are likely to be influenced by their parents'/carers' views, although these may cause conflict for them. Where parents/carers retain a positive view of the imprisoned parent, children are likely to benefit; where parents/carers feel issues of shame and stigma acutely, this is likely to be transmitted to their children. This is important for social workers and practitioners involved in supporting prisoners' families and for parenting programmes

A new polymorphic material? Structural degeneracy of ZrMn_2

Based on density functional calculations, we propose that ZrMn_2 is a polymorphic material. We predict that at low temperatures the cubic C15, and the hexagonal C14 and C36 structures of the Laves phase compound ZrMn_2 are nearly equally stable within 0.3 kJmol^{-1} or 30 K. This degeneracy occurs when the Mn atoms magnetize spontaneously in a ferromagnetic arrangement forming the states of lowest energy. From the temperature dependent free energies at T approx 160K we predict a transition from the most stable C15 to the C14 structure, which is the experimentally observed structure at elevated temperatures.Comment: 4 pages, 3 figure

Ballistic Electron Emission Microscopy on CoSi2{}_2/Si(111) interfaces: band structure induced atomic-scale resolution and role of localized surface states

Applying a Keldysh Green`s function method it is shown that hot electrons injected from a STM-tip into a CoSi${}_2$/Si(111) system form a highly focused beam due to the silicide band structure. This explains the atomic resolution obtained in recent Ballistic Electron Emission Microscopy (BEEM) experiments. Localized surface states in the $(2 \times 1)$-reconstruction are found to be responsible for the also reported anticorrugation of the BEEM current. These results clearly demonstrate the importance of bulk and surface band structure effects for a detailed understanding of BEEM data.Comment: 5 pages, RevTex, 4 postscript figures, http://www.icmm.csic.es/Pandres/pedro.ht

Spin-orbit splitting of image states

We quantify the effect of the spin-orbit interaction on the Rydberg-like series of image state electrons at the (111) and (001) surface of Ir, Pt and Au. Using relativistic multiple-scattering methods we find Rashba-like dispersions with Delta E(K)=gamma K with values of gamma for n=1 states in the range 38-88 meV Angstrom. Extending the phase-accumulation model to include spin-orbit scattering we find that the splittings vary like 1/(n+a)^3 where a is the quantum defect and that they are related to the probability of spin-flip scattering at the surface. The splittings should be observable experimentally being larger in magnitude than some exchange-splittings that have been resolved by inverse photoemission, and are comparable to linewidths from inelastic lifetimes.Comment: 10 pages, 4 figure