Program behavior that relies on contextual information, such as physical location or network accessibility, is common in today's applications, yet its representation is not sufficiently supported by programming languages. With context-oriented programming (COP), such context-dependent behavioral variations can be explicitly modularized and dynamically activated. In general, COP could be used to manage any context-specific behavior. However, its contemporary realizations limit the control of dynamic adaptation. This, in turn, limits the interaction of COP's adaptation mechanisms with widely used architectures, such as event-based, mobile, and distributed programming. The JCop programming language extends Java with language constructs for context-oriented programming and additionally provides a domain-specific aspect language for declarative control over runtime adaptations. As a result, these redesigned implementations are more concise and better modularized than their counterparts using plain COP. JCop's main features have been described in our previous publications. However, a complete language specification has not been presented so far. This report presents the entire JCop language including the syntax and semantics of its new language constructs.

This book constitutes the refereed proceedings of the 13th Asian Symposium on Programming Languages and Systems, APLAS 2015, held in Pohang, South Korea, in November/December 2015. The 24 regular papers presented together with 1 short paper were carefully reviewed and selected from 74 submissions. The papers cover a variety of foundational and practical issues in programming languages and systems and have been organized in topical sections on compilers, separation logic, static analysis and abstract interpretation, Hoare logic and types, functional programming and semantics, model checking, program analysis, medley, and programming models.

Annotation "This book is a guide to developing applications with Java Card technology. It introduces you to the Java Card platform and features discussions of programming concepts. It also provides a step-by-step Java Card applet development guide to get you up and running." "Specific topics covered include: smart card basics; Java Card virtual machine; persistent and transient objects; atomicity and transactions; handling APDUs; applet firewall and object sharing; Java Card platform security; a step-by-step applet development guide; applet optimization guidelines; and a comprehensive reference to Java Card APIs."--BOOK JACKET. Title Summary field provided by Blackwell North America, Inc. All Rights Reserved.

This book shows the important links between social conditions and health and begins to describe the processes through which these health inequalities may be generated. It reviews a range of methodologies that could be used by health researchers in this field and proposes innovative future research directions.

The Handbook of Methodological Approaches to Community-Based Research is intended to aid the community-oriented researcher in learning about and applying cutting-edge quantitative, qualitative, and mixed methods approaches.

This book examines the role of the geotechnical baseline report (GBR) as a means of allocating and managing subsurface risks associated with subsurface construction.

While many effective interventions can reduce cancer risk, incidence, and death, as well as enhance quality of life, they are of no benefit if they cannot be delivered to those in need. In the face of increasingly dynamic and resource-constrained conditions, implementation science plays a critical role in delivering cancer control practices. This 30-page workbook was written by members of the NCI (National Cancer Institute) implementation Science team and reviewed by nearly 100 public health practitioners and implementation science researchers. Through summaries of key theories, methods, and models, the guide shows how greater use of implementation science can support the effective adoption of evidence-based interventions. Case studies illustrate how practitioners are successfully applying implementation science in their cancer control programs