We present a machine-checked correctness proof for information flow noninterference based on interprocedural slicing. It reuses a correctness proof of the context-sensitive interprocedural slicing algorithm of Horwitz, Reps, and Binkley. The underlying slicing framework is modular in the programming language used; by instantiating this framework the correctness proofs hold for the respective la...

Horwitz, Reps, and Binkley (TOPLAS, 90) present an algorithm for interprocedural program slicing using a system dependence graph (SDG) representation of programs. In order to identify the set of statements in a slice their algorithm makes two traversals over the SDG; effectively traversing some edges twice. This paper presents a one pass algorithm which traverses each edge in the slice at most ...

Grandiose, quaint, eccentric or homey, ceiling design statements go a long way toward creating the look and feel desired for a commercial or institutional interior. The key to enhancing building performance, however, is balancing aesthetic appeal with effective acoustics, improved sustainability, and smart integration of mechanical, electrical, and plumbing equipment. Fortunately, the marketpla...

Wenyu Zhou, Michael Choi, Daciana Margineantu, Lilyana Margaretha, Jennifer Hesson, Christopher Cavanaugh, C Anthony Blau, Marshall S Horwitz, David Hockenbery*, Carol Ware* and Hannele Ruohola-Baker* H Ruohola-Baker Department of Biology, University of Washington, Seattle, WA, USA, Institute for Stem Cell and Regenerative Medicine (ISCRM), Seattle, WA, USA, Department of Biochemistry, Universi...

During his presentation at the NCCN 19th Annual Conference, Dr. Andrew D. Zelenetz reviewed the updates to the 2014 NCCN Clinical Practice Guidelines in Oncology (NCCN Guidelines) for Non-Hodgkin's Lymphomas. Dr. Zelenetz first discussed the updates for diffuse large B-cell lymphoma (DLBCL), focusing primarily on the emergence of MYC-positive DLBCL; the limited role of imaging in early-stage di...

and a potential treatment. Curr Opin Pulm Med 2003;9:378–384. 35. Undas A, Celinska-Löwenhoff M, Domagala TB, Iwaniec T, Dropinski J, Löwenhoff T, Szczeklik A. Early antithrombotic and anti-inflammatory effects of simvastatin versus fenofibrate in patients with hypercholesterolemia. Thromb Haemost 2005;94:193–199. 36. Undas A, Celinska-Löwenhoff M, Domagala TB, Iwaniec T, Dropinski J, Löwenhoff...

The present study was conducted to investigate the relationship between the perceived social self-efficacy of the students of English and their foreign language classroom anxiety. The required data were gathered through the application of the original versions of two standard questionnaires: Smith and Betz’s (2000) 25-item Scale of Perceived Social Self-Efficacy (SPSSE) and Horwitz, Horwitz and...