Program simplification as a means of approximating undecidable propositions

We describe an approach which mixes testing, slicing, transformation and formal verification to investigate speculative hypotheses concerning a program, formulated during program comprehension activity. Our philosophy is that such hypotheses (which are typically undecidable) can, in some sense, be `answered' by a partly automated system which returns neither `true' nor `false' but a program (the `test program') which computes the answer. The motivation for this philosophy is the way in which, as we demonstrate, static analysis and manipulation technology can be applied to ensure that the resulting test program is significantly simpler than the original program, thereby simplifying the process of investigating the original hypothesi

Optic Disc Drusen Resulting in Disqualifying Field Loss

Background: Optic nerve (or disc) drusen is the presence of hyaline bodies at the optic nerve head. The drusen may be visible upon funduscopic examination or may present as buried. Timely diagnosis and responsible imaging may help inform the patient of the potential for future concerns. The long-term prognosis is good for most patients, however, they may experience progressive peripheral vision loss that may reduce the patient’s quality of life. Neuroprotective options have previously been discussed with minimal clinical effectiveness, however, new medications may aid in future treatment. Case Report: A patient presenting with mild and slowly progressing vision loss was examined and found to have optic disc drusen. Visual fields were done to quantify the extent of vision loss and revealed the patient no longer met the criteria for his commercial driver’s license. Findings, imaging, and treatment options are discussed. Conclusion: While no effective treatments exist currently, the potential benefit of brimonidine as a neuroprotective agent is discussed along with other future potential options. An assessment of the viability of the patient’s cost benefit ratio is discussed

William C. Binkley to Jim, 4 May 1946

Professional correspondenc

William C. Binkley to Jim, 14 March 1960

Professional correspondenc

William C. Binkley to Jim, 7 December 1962

Personal correspondenc

Control dependence for extended finite state machines

Though there has been nearly three decades of work on program slicing, there has been comparatively little work on slicing for state machines. One of the primary challenges that currently presents a barrier to wider application of state machine slicing is the problem of determining control dependence. We survey existing related definitions, introducing a new definition that subsumes one and extends another. We illustrate that by using this new definition our slices respect Weiser slicing’s termination behaviour. We prove results that clarify the relationships between our definition and older ones, following this up with examples to motivate the need for these differences

From 'River Cottage' to 'Chicken Run': Hugh Fearnley-Whttingstall and the class politics of ethical consumption

Lifestyle television provides a key site through which to explore the dilemmas of ethical consumption, as the genre shifts to consider the ethics of different consumption practices and taste cultures. UK television cook Hugh Fearnley-Whittingstall's TV programmes offer fertile ground not only for thinking about television personalities as lifestyle experts and moral entrepreneurs, but also for thinking about how the meanings and uses of their television image are inflected by genre. In this article we explore how the shift from the lifestyled downshifting narrative of the River Cottage series to the 'campaigning culinary documentary' Hugh's Chicken Run exposes issues of celebrity, class and ethics. While both series are concerned with ethical consumption, they work in different ways to reveal a distinction between 'ethical' and 'unethical' consumption practices and positions - positions that are inevitably classed

The Candida Genome Database (CGD), a community resource for Candida albicans gene and protein information

The Candida Genome Database (CGD) is a new database that contains genomic information about the opportunistic fungal pathogen Candida albicans. CGD is a public resource for the research community that is interested in the molecular biology of this fungus. CGD curators are in the process of combing the scientific literature to collect all C.albicans gene names and aliases; to assign gene ontology terms that describe the molecular function, biological process, and subcellular localization of each gene product; to annotate mutant phenotypes; and to summarize the function and biological context of each gene product in free-text description lines. CGD also provides community resources, including a reservation system for gene names and a colleague registry through which Candida researchers can share contact information and research interests. CGD is publicly funded (by NIH grant R01 DE15873-01 from the NIDCR) and is freely available at http://www.candidagenome.org/