Program Derivation by Correctness Enhacements

Relative correctness is the property of a program to be more-correct than another program with respect to a given specification. Among the many properties of relative correctness, that which we found most intriguing is the property that program P' refines program P if and only if P' is more-correct than P with respect to any specification. This inspires us to reconsider program derivation by successive refinements: each step of this process mandates that we transform a program P into a program P' that refines P, i.e. P' is more-correct than P with respect to any specification. This raises the question: why should we want to make P' more-correct than P with respect to any specification, when we only have to satisfy specification R? In this paper, we discuss a process of program derivation that replaces traditional sequence of refinement-based correctness-preserving transformations starting from specification R by a sequence of relative correctness-based correctness-enhancing transformations starting from abort.Comment: In Proceedings Refine'15, arXiv:1606.0134

Text prediction for translators

Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal

Perspectives On String Phenomenology

The remarkable recent discovery of the Higgs boson at the CERN Large Hadron Collider completed the Standard Model of particle physics and has paved the way for understanding the physics which may lie beyond it. String/M theory has emerged as a broad framework for describing a plethora of diverse physical systems, which includes condensed matter systems, gravitational systems as well as elementary particle physics interactions. If string/M theory is to be considered as a candidate theory of Nature, it must contain an effectively four-dimensional universe among its solutions that is indistinguishable from our own. In these solutions, the extra dimensions of string/M theory are “compactified” on tiny scales which are often comparable to the Planck length. String phenomenology is the branch of string/M theory that studies such solutions, relates their properties to data, and aims to answer many of the outstanding questions of particle physics beyond the Standard Model.This book contains perspectives on string phenomenology from some of the leading experts in the field. Contributions will range from pedagogical general overviews and perspectives to more technical reviews. We hope that the reader will get a sense of the significant progress that has been made in the field in recent years (e.g. in the topic of moduli stabilization) as well as the topics currently being researched, outstanding problems and some perspectives for the future

Perspectives On String Phenomenology

The remarkable recent discovery of the Higgs boson at the CERN Large Hadron Collider completed the Standard Model of particle physics and has paved the way for understanding the physics which may lie beyond it. String/M theory has emerged as a broad framework for describing a plethora of diverse physical systems, which includes condensed matter systems, gravitational systems as well as elementary particle physics interactions. If string/M theory is to be considered as a candidate theory of Nature, it must contain an effectively four-dimensional universe among its solutions that is indistinguishable from our own. In these solutions, the extra dimensions of string/M theory are “compactified” on tiny scales which are often comparable to the Planck length. String phenomenology is the branch of string/M theory that studies such solutions, relates their properties to data, and aims to answer many of the outstanding questions of particle physics beyond the Standard Model.This book contains perspectives on string phenomenology from some of the leading experts in the field. Contributions will range from pedagogical general overviews and perspectives to more technical reviews. We hope that the reader will get a sense of the significant progress that has been made in the field in recent years (e.g. in the topic of moduli stabilization) as well as the topics currently being researched, outstanding problems and some perspectives for the future