Specification and Transformation of Programs


Book Description

"Specification and transformation of programs" is short for a methodology of software development where, from a formal specification of a problem to be solved, programs correctly solving that problem are constructed by stepwise application of formal, semantics-preserving transformation rules. The approach considers programming as a formal activity. Consequently, it requires some mathematical maturity and, above all, the will to try something new. A somewhat experienced programmer or a third- or fourth-year student in computer science should be able to master most of this material - at least, this is the level I have aimed at. This book is primarily intended as a general introductory textbook on transformational methodology. As with any methodology, reading and understanding is necessary but not sufficient. Therefore, most of the chapters contain a set of exercises for practising as homework. Solutions to these exercises exist and can, in principle, be obtained at nominal cost from the author upon request on appropriate letterhead. In addition, the book also can be seen as a comprehensive account of the particular transformational methodology developed within the Munich CIP project.




The Ultimate Diet 2.0


Book Description




Manufacturing Possibilities


Book Description

Manufacturing Possibilities examines adjustment dynamics in the steel, automobile and machinery industries in Germany, the U.S., and Japan since World War II. As national industrial actors in each sector try to compete in global markets, the book argues that they recompose firm and industry boundaries, stakeholder identities and interests, and governance mechanisms at all levels of their political economies. Micro level study of industrial transformation in this way provides a significant window on macro level processes of political economic change in the three societies. Theoretically, the book marks a departure from both neoliberal economic and historical institutionalist perspectives on change in advanced political economies. It characterizes industrial change as a creative, bottom-up process driven by reflective social actors. This alternative view consists of two distinctive claims. The first is that action is social, reflective, and ultimately creative. When their interactive habits are disrupted, industrial actors seek to repair their relations by reconceiving them. Such imaginative interaction redefines interest and causes unforeseen possibilities for action to emerge, enabling actors to trump existing rules and constraints. Second, industrial change driven by creative action is recompositional. In the social process of reflection, actors rearrange, modify, reconceive, and reposition inherited organizational forms and governance mechanisms as they experiment with solutions to the challenges that they face. Continuity in relations is interwoven with continuous reform and change. Most remarkably, creativity in the recomposition process makes the introduction of entirely new practices and relations possible. Ultimately, the message of Manufacturing Possibilities is that social study of change in advanced political economies should devote itself to the discovery of possibility. Preoccupation with constraint and failure to appreciate the capaciousness of reflective social action has led much of contemporary debate to misrecognize the dynamics of change. As a result, discussion of the range of adjustment possibilities in advanced political economies has been unnecessarily limited.




The Rule of Art


Book Description

What do Renaissance poetry and painting have in common? What are the social, ideological, and aesthetic bases for the links between them? And what role do those links play in creating the humanistic culture that still has power over us today? These are the questions Clark Hulse takes up in this sophisticated interdisciplinary study of Renaissance aesthetics. Proposing an archeology of artistic knowledge, Hulse examines the theoretical language through which the poets, painters, and patrons of the Renaissance conceived of the relationship between the arts. That language is embedded in what he calls a "rule of art," a specific set of categories, assumptions, and practices that defined the two art forms and the relationship between them. Hulse charts the rise of both forms to the status of liberal arts requiring special intellectual training for artist and patron alike. In the process, he uncovers the history of the practice of theory in the Renaissance, revealing how artistic discourse lived in the world.




Encyclopedia of Christian Theology


Book Description

The Encyclopedia of Christian Theology, translated from the French Dictionnaire Critique de Théologie 2nd Edition, features over 530 entries, contributed by 250 scholars from fifthteen different countries. Alphabetically arranged entries provide the reader a critical overview of the main theological questions and related topics, including concepts, events, councils, theologians, philosophers, movements, and more. Hailed as a "masterpiece of scholarship," this reference work will be of great interest and use for scholars, students of religion and theology as well as general readers.




The Rule of Violence


Book Description

Over much of its rule, the regime of Hafez al-Asad and his successor Bashar al-Asad deployed violence on a massive scale to maintain its grip on political power. In this book, Salwa Ismail examines the rationalities and mechanisms of governing through violence. In a detailed and compelling account, Ismail shows how the political prison and the massacre, in particular, developed as apparatuses of government, shaping Syrians' political subjectivities, defining their understanding of the terms of rule and structuring their relations and interactions with the regime and with one another. Examining ordinary citizens' everyday life experiences and memories of violence across diverse sites, from the internment camp and the massacre to the family and school, The Rule of Violence demonstrates how practices of violence, both in their routine and spectacular forms, fashioned Syrians' affective life, inciting in them feelings of humiliation and abjection, and infusing their lived environment with dread and horror. This form of rule is revealed to be constraining of citizens' political engagement, while also demanding of their action.




Advances in Natural Language Processing


Book Description

This book constitutes the refereed proceedings of the Third International Conference PorTAL 2002 - Portugal for Natural Language Processing, held in Faro, Portugal, in June 2002. The 23 reviewed regular papers and 11 short papers presented were carefully reviewed and selected from 48 submissions. The papers are organized in topical sections on pragmatics, discourse, semantics, and the lexicon; interpreting and generating spoken and written language; language-oriented information retrieval, question answering, summarization, and information extraction; language-oriented machine learning; multi-lingual processing, machine translation, and translation aids; natural language interfaces and dialogue systems; tools and resources; and evaluation of systems.




Deductive and Object-Oriented Databases


Book Description

This book constitutes the refereed proceedings of the 4th International Conference on Deductive and Object-Oriented Databases, DOOD '95, held in Singapore in December 1995. Besides two keynote papers by Stefano Ceri and Michael Kifer, the book contains revised full versions of 28 papers selected from a total of 88 submissions. The volume gives a highly competent state-of-the-art report on DOOD research and advanced applications. The papers are organized in sections on active databases, query processing, semantic query optimization, transaction management, authorization, implementation, and applications.




The Yale Law Journal


Book Description




Guided Wave Nonlinear Optics


Book Description

The object of this school, held at Cargese, Corsica (France) from August 12th to 24th 1991, was the presentation of the field of guided wave nonlinear optics in a comprehensive, coherent, and heuristic fashion. It seems appropriate that this school began with an historical introduction by Professor Nicolaas Bloembergen of Harvard, the acknowledged "father" of nonlinear optics, in general, and concluded with a round table discussion headed by Dr. Eric Spitz, the Scientific Director of a multinational electronics company interested in developing industrial applications of guided wave nonlinear optics. The lectures covered both the theoretical framework of the field and applications to basic scientific research, optical communications and technical instrumentation. Specific topics developed included materials for guided wave nonlinear optics, nonlinear interactions using integrated optical guides, nonlinear surface waves, solitons, fiber nonlinear optics, ultra-fast coupler switching as well as the related topic of fiber and integrated optical lasers and amplifiers. Lectures have also been devoted to squeezed states, chaos and strange attractors. The subjects covered by the school underlines one of the major ways in which this field has evolved over the past thirty some odd years. The path from the original experiments with materials requiring mega-watt power lasers to the recent developments in guided wave configurations using milliwatt power diode lasers is marked by the conjunction of ever improving fundamental scientific comprehension and continuing technological developments.