The French School Of Programming

The French School of Programming

The French School of Programming is a collection of insightful discussions of programming and software engineering topics, by some of the most prestigious names of French computer science. The authors include several of the originators of such widely acclaimed inventions as abstract interpretation, the Caml, OCaml and Eiffel programming languages, the Coq proof assistant, agents and modern testing techniques. The book is divided into four parts: Software Engineering (A), Programming Language Mechanisms and Type Systems (B), Theory (C), and Language Design and Programming Methodology (D). They are preceded by a Foreword by Bertrand Meyer, the editor of the volume, a Preface by Jim Woodcock providing an outsider’s appraisal of the French school’s contribution, and an overview chapter by Gérard Berry, recalling his own intellectual journey. Chapter 2, by Marie-Claude Gaudel, presents a 30-year perspective on the evolution of testing starting with her own seminal work. In chapter 3, Michel Raynal covers distributed computing with an emphasis on simplicity. Chapter 4, by Jean-Marc Jézéquel, former director of IRISA, presents the evolution of modeling, from CASE tools to SLE and Machine Learning. Chapter 5, by Joëlle Coutaz, is a comprehensive review of the evolution of Human-Computer Interaction. In part B, chapter 6, by Jean-Pierre Briot, describes the sequence of abstractions that led to the concept of agent. Chapter 7, by Pierre-Louis Curien, is a personal account of a journey through fundamental concepts of semantics, syntax and types. In chapter 8, Thierry Coquand presents “some remarks on dependent type theory”. Part C begins with Patrick Cousot’s personal historical perspective on his well-known creation, abstract interpretation, in chapter 9. Chapter 10, by Jean-Jacques Lévy, is devoted to tracking redexes in the Lambda Calculus. The final chapter of that part, chapter 11 by Jean-Pierre Jouannaud, presents advances in rewriting systems, specifically the confluence of terminating rewriting computations. Part D contains two longer contributions. Chapter 12 is a review by Giuseppe Castagna of a broad range of programming topics relying on union, intersection and negation types. In the final chapter, Bertrand Meyer covers “ten choices in language design” for object-oriented programming, distinguishing between “right” and “wrong” resolutions of these issues and explaining the rationale behind Eiffel’s decisions. This book will be of special interest to anyone with an interest in modern views of programming — on such topics as programming language design, the relationship between programming and type theory, object-oriented principles, distributed systems, testing techniques, rewriting systems, human-computer interaction, software verification... — and in the insights of a brilliant group of innovators in the field.

COVID-19 and Existential Positive Psychology (PP2.0): The New Science of Self-Transcendence

In the era of COVID-19, many people have suffered high levels of stress and mental health problems. To cope with the widespread of suffering (physical, psychological, social, and economical) the positive psychology of personal happiness is no longer the sole approach to examine personal wellbeing. Other approaches such as Viktor Frankl’s theory of self-transcendence provide a promising framework for research and intervention on how to achieve resilience, wellbeing, and happiness through overcoming suffering and self-transcendence. The existential positive psychology of suffering complements the positive psychology of happiness, which is championed by Martin Seligman, as two equal halves of the circle of wellbeing and optimal mental health. This Research Topic aims to examine the different approaches to Positive Psychology and their influence on individual wellbeing during the COVID-19 era. One of the exciting development in the positive psychology of wellbeing is the mounting research on the adaptive benefits of negative emotions, such as shame, guilt, and anger, as well as the dialectical process of balancing negative and positive emotions. As an example, based on all the empirical research and Frankl’s self-transcendence model, Wong has developed the existential positive psychology of suffering (PP2.0) as the foundation for flourishing. Here are a few main tenets of PP2.0: (1) Life is suffering and a constant struggle throughout every stage of development, (2) The search for self-transcendence is a primary motive guided by the meaning mindset and mindful mindset. (3) Wellbeing cannot be sustainable without overcoming and transforming suffering. In this Research Topic we welcome diverse approaches discussing the following points: • The dialectic process of overcoming the challenges of every stage of development as necessary for personal growth and self-transcendence; • The role of self-transcendence in resilience, virtue, meaning, and happiness; • The upside of negative emotions; • The new science of resilience based on cultivating the resilient mindset and character; • How to make the best use of suffering to achieve out potentials & mental health.

Making Appropriations for Foreign Operations, Export Financing, and Related Programs for the Fiscal Year Ending September 30, 2005, and for Other Purposes