- Table View
- List View
Compiler Construction: 20th International Conference, CC 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings (Lecture Notes in Computer Science #6601)
by Jens KnoopThis book constitutes the refereed proceedings of the 20th International Conference on Compiler Construction, CC 2011, held in Saarbrücken, Germany, March 26—April 3, 2011, as part of ETAPS 2011, the European Joint Conferences on Theory and Practice of Software. The 15 revised full papers presented together with the abstract of one invited talk were carefully reviewed and selected from 52 submissions. The papers are organized in topical sections on JIT compilation and code generation, program analysis, reversible computing and interpreters, parallelism and high-performance computing, and task and data distribution.
Compiler Construction: 16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007, Proceedings (Lecture Notes in Computer Science #4420)
by Shriram Krishnamurthi Martin OderskyThis book constitutes the refereed proceedings of the 16th International Conference on Compiler Construction, CC 2007, held in Braga, Portugal, in March 2007 as part of ETAPS 2007, the European Joint Conferences on Theory and Practice of Software. The 15 revised full are organized in topical sections on architecture, garbage collection and program analysis, register allocation, and program analysis.
Compiler Construction: 15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006, Proceedings (Lecture Notes in Computer Science #3923)
by Alan Mycroft Andreas ZellerThis book constitutes the refereed proceedings of the 15th International Conference on Compiler Construction, CC 2006, held in March 2006 as part of ETAPS. The 17 revised full papers presented together with three tool demonstration papers and one invited paper were carefully reviewed and selected from 71 submissions. The papers are organized in topical sections.
Compiler Construction: 21st International Conference, CC 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 -- April 1, 2012, Proceedings (Lecture Notes in Computer Science #7210)
by Michael O'BoyleThis book constitutes the proceedings of the 21st International Conference on Compiler Construction, CC 2012, held as part of the joint European Conference on Theory and Practice of Software, ETAPS 2012, which took place in Tallinn, Estonia, in March/April 2012. The 13 papers presented in this book were carefully reviewed and selected from 51 submissions. They are organized in topical sections named: GPU optimisation, program analysis, objects and components, and dynamic analysis and runtime support.
Compiler Construction: 9th International Conference, CC 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings (Lecture Notes in Computer Science #1781)
by David A. WattETAPS2000 was the third instance of the EuropeanJoint Conferenceson Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprised ?ve conferences (FOSSACS, FASE, ESOP, CC, TACAS), ?ve satellite workshops (CBS, CMCS, CoFI, GRATRA, INT), seven invited lectures, a panel discussion, and ten tutorials. The events that comprise ETAPS address various aspects of the system - velopment process, including speci?cation, design, implementation, analysis, and improvement. The languages, methodologies, and tools which support these - tivities are all well within its scope. Di?erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on one hand and soundly-based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive.
Compiler Construction: 10th International Conference, CC 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings (Lecture Notes in Computer Science #2027)
by Reinhard WilhelmETAPS 2001 was the fourth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprised ve conferences (FOSSACS, FASE, ESOP, CC, TACAS), ten satellite workshops (CMCS, ETI Day, JOSES, LDTA, MMAABS, PFM, RelMiS, UNIGRA, WADT, WTUML), seven invited lectures, a debate, and ten tutorials. The events that comprise ETAPS address various aspects of the system de- lopment process, including speci cation, design, implementation, analysis, and improvement. The languages, methodologies, and tools which support these - tivities are all well within its scope. Di erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on one hand and soundly-based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive.
Compiler Generators: What They Can Do, What They Might Do, and What They Will Probably Never Do (Monographs in Theoretical Computer Science. An EATCS Series #19)
by Mads TofteThe OrIgIn of this monograph is a course entitled "Semantics directed Compiler Generation" which Professor Neil D. Jones gave in 1982 at Copenhagen University, where I was a student at the time. In this course, he described a compiler generator, called CERES, which he was developing. I immediately felt attracted to the unusual combination of mathematical reasoning about com pilers and the small intricate building blocks that made up the running system. As I came to understand the system I discovered that within the existing mathematical framework one could express compiler generation as a special case of compilation; this led to a specification of a compiler generator which was bootstrapped on itself resulting in a machine-generated compiler generator. The purpose of this monograph is to describe the CERES system we produced in 1983-84 and compare it with other systems, includ ing more recent ones. Also, it is as relevant today as it was then to discuss the role of compiler generators as an aid in the design and implementation of programming languages; this I do in Chap. 5. This monograph is a strongly revised version of the cando scient.
Complacency: Classics and Its Displacement in Higher Education (Critical Antiquities)
by John T. HamiltonA critical reflection on complacency and its role in the decline of classics in the academy. In response to philosopher Simon Blackburn’s portrayal of complacency as a vice that impairs university study at its core, John T. Hamilton examines the history of complacency in classics and its implications for our contemporary moment. The subjects, philosophies, and literatures of ancient Greece and Rome were once treated as the foundation of learning, with everything else devolving from them. Hamilton investigates what this model of superiority, derived from the golden age of the classical tradition, shares with the current hegemony of mathematics and the natural sciences. He considers how the qualitative methods of classics relate to the quantitative positivism of big data, statistical reasoning, and presumably neutral abstraction, which often dismiss humanist subjectivity, legitimize self-sufficiency, and promote a fresh brand of academic complacency. In acknowledging the reduced status of classics in higher education today, he questions how scholarly striation and stagnation continue to bolster personal, ethical, and political complacency in our present era.
Complacency: Classics and Its Displacement in Higher Education (Critical Antiquities)
by John T. HamiltonA critical reflection on complacency and its role in the decline of classics in the academy. In response to philosopher Simon Blackburn’s portrayal of complacency as a vice that impairs university study at its core, John T. Hamilton examines the history of complacency in classics and its implications for our contemporary moment. The subjects, philosophies, and literatures of ancient Greece and Rome were once treated as the foundation of learning, with everything else devolving from them. Hamilton investigates what this model of superiority, derived from the golden age of the classical tradition, shares with the current hegemony of mathematics and the natural sciences. He considers how the qualitative methods of classics relate to the quantitative positivism of big data, statistical reasoning, and presumably neutral abstraction, which often dismiss humanist subjectivity, legitimize self-sufficiency, and promote a fresh brand of academic complacency. In acknowledging the reduced status of classics in higher education today, he questions how scholarly striation and stagnation continue to bolster personal, ethical, and political complacency in our present era.
The Compleat Thunks Book
by Ian GilbertIn The Compleat Thunks Book Ian Gilbert brings together classic Thunks from a number of his books, as well as hundreds of new ones, all designed to make your brain hurt as you think, question, debate and argue your way to a better understanding of how to survive in a world gone dangerously bonkers. We are living in an age in which facts don’t count, certainty no longer exists and complexity means we never quite know what just happened, let alone what will happen next. To better prepare ourselves for such a world, we need a brain workout that isn’t so much about finding answers as getting our heads around questions. We need The Compleat Thunks Book: a collection of beguiling questions about everyday things that stop you in your tracks and help you start to look at the world in a whole new light. At times controversial and often provocative, Ian Gilbert’s brainteasers are sure to stimulate philosophical enquiry and debate during the thinking, reasoning, logic or panic employed in arriving at (or deviating from) the answers and conversations that ensue. In other words, it’s not about the answers at all and, as in life, there are none at the back of the book. Covering as wide a variation of topics as possible – from love and lies to parking a car and molesting robots – The Compleat Thunks Book will appeal to people of all ages, tastes and prejudices, and can be used to steer pub, dinner party or family discussions away from the same old topics. Some of these Thunks were previously published in The Book of Thunks, ISBN 978-184590092-2, The Little Book of Thunks, ISBN 978-184590062-5, and Independent Thinking, ISBN 978-178135055-3. Thunks is a registered trademark of Independent Thinking Ltd. Parental Advisory: A few of these Thunks are unsuitable for use with children.
Complementarity Beyond Physics: Niels Bohr's Parallels
by Arun BalaIn this study Arun Bala examines the implications that Niels Bohr’s principle of complementarity holds for fields beyond physics. Bohr, one of the founding figures of modern quantum physics, argued that the principle of complementarity he proposed for understanding atomic processes has parallels in psychology, biology, and social science, as well as in Buddhist and Taoist thought. But Bohr failed to offer any explanation for why complementarity might extend beyond physics, and his claims have been widely rejected by scientists as empty speculation. Scientific scepticism has only been reinforced by the naïve enthusiasm of postmodern relativists and New Age intuitionists, who seize upon Bohr’s ideas to justify anti-realist and mystical positions. Arun Bala offers a detailed defence of Bohr’s claim that complementarity has far-reaching implications for the biological and social sciences, as well as for comparative philosophies of science, by explaining Bohr’s parallels as responses to the omnipresence of grown properties in nature.
Complementarity, Causality and Explanation
by John LoseePhilosophers have discussed the relationship of cause and effect from ancient times through our own. Prior to the work of Niels Bohr, these discussions presupposed that successful causal attribution implies explanation. The success of quantum theory challenged this presupposition. Bohr introduced a principle of complementarity that provides a new way of looking at causality and explanation.In this succinct review of the history of these discussions, John Losee presents the philosophical background of debates over the cause-effect relation. He reviews the positions of Aristotle, Rene Descartes, Isaac Newton, David Hume, Immanuel Kant, and John Stuart Mill. He shows how nineteenth-century theories in physics and chemistry were informed by a dominant theory of causality and how specific developments in physics provided the background for the emergence of quantum theory.Problems created for the causality implies explanation thesis by the emergence of quantum theory are reviewed in detail. Losee evaluates Bohr's proposals to apply a principle of complementarity within physics, biology, and psychology. He also discusses the feasibility of using complementarity as a principle of interpretation within Christian theology. This volume, which includes an in-depth index, is an essential addition to the libraries of advanced undergraduate and graduate students, philosophers, and those interested in causality and explanation.
Complementarity, Causality and Explanation
by John LoseePhilosophers have discussed the relationship of cause and effect from ancient times through our own. Prior to the work of Niels Bohr, these discussions presupposed that successful causal attribution implies explanation. The success of quantum theory challenged this presupposition. Bohr introduced a principle of complementarity that provides a new way of looking at causality and explanation.In this succinct review of the history of these discussions, John Losee presents the philosophical background of debates over the cause-effect relation. He reviews the positions of Aristotle, Rene Descartes, Isaac Newton, David Hume, Immanuel Kant, and John Stuart Mill. He shows how nineteenth-century theories in physics and chemistry were informed by a dominant theory of causality and how specific developments in physics provided the background for the emergence of quantum theory.Problems created for the causality implies explanation thesis by the emergence of quantum theory are reviewed in detail. Losee evaluates Bohr's proposals to apply a principle of complementarity within physics, biology, and psychology. He also discusses the feasibility of using complementarity as a principle of interpretation within Christian theology. This volume, which includes an in-depth index, is an essential addition to the libraries of advanced undergraduate and graduate students, philosophers, and those interested in causality and explanation.
Complementarity in Mathematics: A First Introduction to the Foundations of Mathematics and Its History (Mathematics and Its Applications #1)
by W. KuykAs long as algebra and geometry The unreasonable effectiveness of proceeded along separate paths, mathematics in science . . . Eugene Wigner their advance was slow and their applications limited. But when these sciences joined Weil, if you knows of a better 'oie, company, they drew from each go to it. Bruce Bairnsfather other fresh vitality and thence forward marched on at a rapid pace What is now proved was once only towards perfeetion. imagined. Wi1liam Blake J oseph Louis Lagrange Growing specialization and diversification have brought a host of monographs and textbooks on increasingly specialized topics. However, the 'tree' of knowledge of mathematics and related fields does not grow only by putting forth new branches. It also happens, quite often in fact, that branches which were thought to be completely disparate are suddenly seen to be related. This series of books, Mathematics and Its Applications, is devoted to such (new) interrelations as exempla gratia: - a central concept which plays an important role in several different mathematical and/or scientific specialized areas; Editor's Preface 8 - new applications of the results and ideas from one area of scientific endeavor into another; - influences which the results, problems and concepts of one field of inquiry have and have had on the development of another. With books on topics such as these, of moderate length and price, which are stimulating rather than definitive, intriguing rather than encyclopaedic, we hope to contribute something towards better communication among the practitioners in diversified fields.
Complementary and Alternative Medicine: Ethics, the Patient, and the Physician (Biomedical Ethics Reviews)
by Lois SnyderThis is the first comprehensive, multidisciplinary book to focus on the ethical challenges of complementary and alternative medicine. It examines the ethical challenges that CAM raises for patients and their physicians, and for patient-physician relationships. The book is written by a multidisciplinary team of CAM ethics and policy analysts, researchers and thought-leaders who present a forward-looking exploration of their subject.
Complementary Notions: A Critical Study of Berkeley’s Theory of Concepts
by D.V. ParkeThis volume grew out of work on Berkeley which was presented in a dissertation several years ago. Though now much revised and greatly expanded. particularly in respect of the theory of concepts, a good part of the present text rests on this earlier foundation. I therefore gladly take this opportunity to express my appreciation to my teachers both at Indiana University and at McGill, and especially to Professor Newton Stallknecht who directed my dissertation. For permission to quote from the Berkeley manuscripts in their keeping, I have first to thank the Trustees of the British Museum, and the Board of Trinity College Dublin. I wish further to thank the Bodleian Library, Oxford for allowing me to quote from their collection of Locke manu scripts. Also I am grateful to the Editor of Filoso/ia for letting me use excerpts from an article that first appeared in the Stu'di Internazionali di Filoso/ia, and to George Allen and Unwin. Publishers, for permission to quote a long passage from Bertrand Russell's Analysis 0/ Mind. From thesis project to published book, my research on the Berkeley manuscripts has been made possible by the generous and timely support of the Canada Council. Finally. I wish to thank Mrs. Anne Hillier for preparing the manuscript with great patience and skill.
The Complete Correspondence 1928 - 1940
by Theodor W. Adorno Walter BenjaminThe surviving correspondence between Walter Benjamin and Theodor W. Adorno. This is the first time all of the surviving correspondence between Adorno and Benjamin has appeared in English. Provides a key to the personalities and projects of these two major intellectual figures. Offers a compelling insight into the cultural politics of the period, at a time of social and political upheaval. An invaluable resource for all students of the work of Adorno and especially of Benjamin, extensively annotated and cross-referenced.
The Complete Correspondence 1928 - 1940
by Theodor W. Adorno Walter BenjaminThe surviving correspondence between Walter Benjamin and Theodor W. Adorno. This is the first time all of the surviving correspondence between Adorno and Benjamin has appeared in English. Provides a key to the personalities and projects of these two major intellectual figures. Offers a compelling insight into the cultural politics of the period, at a time of social and political upheaval. An invaluable resource for all students of the work of Adorno and especially of Benjamin, extensively annotated and cross-referenced.
The Complete Dramatic Works of Samuel Beckett (Faber Drama Ser.)
by Samuel BeckettThe present volume gathers all of Beckett's texts for theatre, from 1955 to 1984. It includes both the major dramatic works and the short and more compressed texts for the stage and for radio.'He believes in the cadence, the comma, the bite of word on reality, whatever else he believes; and his devotion to them, he makes clear, is a sufficient focus for the reader's attention. In the modern history of literature he is a unique moral figure, not a dreamer of rose-gardens but a cultivator of what will grow in the waste land, who can make us see the exhilarating design that thorns and yucca share with whatever will grow anywhere.' - Hugh KennerContents: Waiting for Godot, Endgame, Happy Days, All That Fall, Acts Without Words, Krapp's Last Tape, Roughs for the Theatre, Embers, Roughs for the Radio, Words and Music, Cascando, Play, Film, The Old Tune, Come and Go, Eh Joe, Breath, Not I, That Time, Footfalls, Ghost Trio,...but the clouds..., A Piece of Monologue, Rockaby, Ohio Impromptu, Quad, Catastrophe, Nacht und Traume, What Where.
Complete Essays (Dover Value Editions Ser.)
by Francis BaconWise, witty, and immensely readable, these short but thought-provoking discourses examine life, death, and everything in between: truth, adversity, love, superstition, health, ambition, fame, and many other timeless topics. Francis Bacon — renowned as a scientist, scholar, and statesman — regarded the world as a puzzle to be solved. During the transition between the Renaissance and the early modern era, his methods of inductive reasoning exercised an enormous influence on seventeenth-century Europe. In these essays, Bacon effectively applied his scientific approach of observation and interpretation to human behavior.Bacon originally intended the essays as personal notes, to be shared only with a few friends. He was persuaded to publish an initial installment in 1597, and the volume's continuing popularity led to his revised and enlarged version of 1625. This edition features all 58 essays of the later version, offering a splendid combination of style and substance.
The Complete Essays of Montaigne
by Seigneur de Michel Eyquem MontaigneThis new translation of Montaigne's immortal Essays received great acclaim when it was first published in The Complete Works of Montaigne in the 1957 edition. The New York Times said, "It is a matter for rejoicing that we now have available a new translation that offers definite advantages over even the best of its predecessors," and The New Republic stated that this edition gives "a more adequate idea of Montaigne's manner, his straight and unpretentious style, than any of the half-dozen previous English translations." In his Essays Montaigne warns us from the outset that he has set himself "no goal but a domestic and private one"; yet he is one author whose modernity and universality have been acclaimed by each age since he wrote. Probing into his emotions, attitudes, and behavior, Montaigne reveals to us much about ourselves. As new editions of the Essays were published during his lifetime, Montaigne interpolated many new passages—often of considerable length. This volume indicates the strata of composition, so that the reader may follow the development of Montaigne's thought over the years. The detailed index provides a convenient means of locating the many famous passages that occur throughout the work.
The Complete Personal Essays of Robert Louis Stevenson
by Trenton B. OlsenFor all of Robert Louis Stevenson’s achievements in fiction, many of his contemporaries thought of him primarily as an essayist. His essays, known for their intellectual substance, emotional force, and stylistic vitality, were widely considered the best of their time. Despite the importance of Stevenson’s nonfiction, his personal essays—70 in total—have never been printed together in a single volume until now. Stevenson’s essays explore a range of topics from illness and evolution to marriage and dreams, and from literal and literary travel to the behavior of children and the character of dogs. Grappling with many of the cultural, ethical, and existential questions of his age, he resists dogma to draw fresh conclusions. Stevenson examines beggars and university students, immigrants and engineers, invalids and nurses, outlining his own colorful life story and unique approach to "the art of living" along the way. Whereas the most common and widely available versions of these texts were modified after Stevenson’s death, this volume gathers his personal essays, many of which have never appeared in any modern edition, in their authorized versions. These essays are still considered classic models of the form, and in this volume, the Editor presents them alongside an introduction and notes to assist in a rereading and reappreciation that is long overdue.
The Complete Personal Essays of Robert Louis Stevenson
by Trenton B. OlsenFor all of Robert Louis Stevenson’s achievements in fiction, many of his contemporaries thought of him primarily as an essayist. His essays, known for their intellectual substance, emotional force, and stylistic vitality, were widely considered the best of their time. Despite the importance of Stevenson’s nonfiction, his personal essays—70 in total—have never been printed together in a single volume until now. Stevenson’s essays explore a range of topics from illness and evolution to marriage and dreams, and from literal and literary travel to the behavior of children and the character of dogs. Grappling with many of the cultural, ethical, and existential questions of his age, he resists dogma to draw fresh conclusions. Stevenson examines beggars and university students, immigrants and engineers, invalids and nurses, outlining his own colorful life story and unique approach to "the art of living" along the way. Whereas the most common and widely available versions of these texts were modified after Stevenson’s death, this volume gathers his personal essays, many of which have never appeared in any modern edition, in their authorized versions. These essays are still considered classic models of the form, and in this volume, the Editor presents them alongside an introduction and notes to assist in a rereading and reappreciation that is long overdue.
The Complete Philosophy Files
by Stephen LawIs there a God, should I eat meat, where does the universe come from, could I live for ever as a robot? These are the big questions readers will be wrestling with in this thoroughly enjoyable book. Dip into any chapter and you will find lively scenarios and dialogues to take you through philosophical puzzles ancient and modern, involving virtual reality, science fiction and a host of characters from this and other planets. The text is interspersed on every page with lively cartoons, and there is a list of philosophical jargon at the end..Stephen Law has a gift for communicating complex ideas. He offers few answers, but his unstuffy, highly personal approach will have the reader thinking and arguing with as much pleasure as he does himself.
The Complete Works: Handbook, Discourses, and Fragments
by EpictetusThe complete surviving works of Epictetus, the most influential Stoic philosopher from antiquity. “Some things are up to us and some are not.” Epictetus was born into slavery around the year 50 CE, and, upon being granted his freedom, he set himself up as a philosophy teacher. After being expelled from Rome, he spent the rest of his life living and teaching in Greece. He is now considered the most important exponent of Stoicism, and his surviving work comprises a series of impassioned discourses, delivered live and recorded by his student Arrian, and the Handbook, Arrian’s own take on the heart of Epictetus’s teaching. In Discourses, Epictetus argues that happiness depends on knowing what is in our power to affect and what is not. Our internal states and our responses to events are up to us, but the events themselves are assigned to us by the benevolent deity, and we should treat them—along with our bodies, possessions, and families—as matters of indifference, simply making the best use of them we can. Together, the Discourses and Handbook constitute a practical guide to moral self-improvement, as Epictetus explains the work and exercises aspirants need to do to enrich and deepen their lives. Edited and translated by renowned scholar Robin Waterfield, this book collects the complete works of Epictetus, bringing to modern readers his insights on how to cope with death, exile, the people around us, the whims of the emperor, fear, illness, and much more.