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.

With “groundbreaking research on the psychology of resilience” (Adam Grant), a top expert on human trauma argues that we vastly overestimate how common PTSD is in and fail to recognize how resilient people really are. After 9/11, mental health professionals flocked to New York to handle what everyone assumed would be a flood of trauma cases. Oddly, the flood never came. In The End of Trauma, pioneering psychologist George A. Bonanno argues that we failed to predict the psychological response to 9/11 because most of what we understand about trauma is wrong. For starters, it’s not nearly as common as we think. In fact, people are overwhelmingly resilient to adversity. What we often interpret as PTSD are signs of a natural process of learning how to deal with a specific situation. We can cope far more effectively if we understand how this process works. Drawing on four decades of research, Bonanno explains what makes us resilient, why we sometimes aren’t, and how we can better handle traumatic stress. Hopeful and humane, The End of Trauma overturns everything we thought we knew about how people respond to hardship.

This open access book explores new research directions in social inequality and urban segregation. With the goal of fostering an ongoing dialogue between scholars in Europe and China, it brings together an impressive team of international researchers to shed light on the entwined processes of inequality and segregation, and the implications for urban development. Through a rich collection of empirical studies at the city, regional and national levels, the book explores the impact of migration on cities, the related problems of social and spatial segregation, and the ramifications for policy reform. While the literature on both segregation and inequality has traditionally been dominated by European and North American studies, there is growing interest in these issues in the Chinese context. Economic liberalization, rapid industrial restructuring, the enormous growth of cities, and internal migration, have all reshaped the country profoundly. What have we learned from the European and North American experience of segregation and inequality, and what insights can be gleaned to inform the bourgeoning interest in these issues in the Chinese context? How is China different, both in terms of the nature and the consequences of segregation inequality, and what are the implications for future research and policy? Given the continued rise of China’s significance in the world, and its recent declaration of war on poverty, this book offers a timely contribution to scholarship, identifying the core insights to be learned from existing research, and providing important guidance on future directions for policy makers and researchers.

This monograph covers the Family Life Project studying a representative sample of every baby born to a mother who resided in one of six poor rural counties over a one year period, oversampling for poverty and African American. 1,292 children were followed from birth to 36 months of age. This study examines the relation between social risk and children's executive functioning, language development, and behavioral competence at 36 months.

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

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

Written by the inventors of the technology, The Java® Virtual Machine Specification, Java SE 7 Edition, is the definitive technical reference for the Java Virtual Machine. The book provides complete, accurate, and detailed coverage of the Java Virtual Machine. It fully describes the invokedynamic instruction and method handle mechanism added in Java SE 7, and gives the formal Prolog specification of the type-checking verifier introduced in Java SE 6. The book also includes the class file extensions for generics and annotations defined in Java SE 5.0, and aligns the instruction set and initialization rules with the Java Memory Model.