Perspectives On Computer Science: From The 10th Anniversary Symposium At The Computer Science Department, Carnegie-mellon University (acm Monograph Series)

Perspectives on Computer Science provides information pertinent to the fundamental aspects of computer science. This book discusses the weaknesses frequently found in minicomputers. Organized into 12 chapters, this book begins with an overview of the technological, economic, and human aspects of the environment in which PDP–11 was designed and built. This text then examines the set of techniques for tree searching. Other chapters consider a tutorial on automatic planning systems, with emphasis given to knowledge representation issues. This book discusses as well the classical least-fixedpoint approach toward recursive programs and examines the interplay between time and space determined by a variety of machine models. The final chapter deals with some of the primary influences in contemporary programming language design, namely, programming methodology, program specification, verification, and formal semantic definition techniques. This book is a valuable resource for students and teachers. Computer science theoreticians and mathematicians will also find this book useful. Content: ACM MONOGRAPH SERIES, Page ii Front Matter, Page iii Copyright, Page iv List of Contributors, Pages ix-x Preface, Pages xi-xii Foreword: EDUCATION AND RESEARCH AT CMU, Pages xiii-xiv, J.F. TRAUB The Keynote Speech, Pages 1-6, Alan Perlis What Have We Learned from the PDP–11?, Pages 7-38, C. Gordon Bell The Use of Domain-Dependent Descriptions in Tree Searching, Pages 39-62, Hans Berliner Knowledge Representation in Automatic Planning Systems, Pages 63-75, Richard E. Fikes On the Concurrency of Parallel Processes, Pages 77-90, A.N. Habermann A Case Study—Assimilation and Creation of Computer Science Technology in a Developing Country, Pages 91-102, Renato Iturriaga A New Approach to Recursive Programs, Pages 103-124, Zohar Manna, Adi Shamir Time and Space, Pages 125-146, Albert R. Meyer, Michael Ian Shamos C.mmp: A Progress Report on Synergistic Research, Pages 147-182, Allen Newell, George Robertson Multiplicative Speedup of Systems, Pages 183-198, R. Reddy, Allen Newell On the Nature of Understanding, Pages 199-216, Herbert A. Simon Some Thoughts on the Next Generation of Programming Languages, Pages 217-234, William A. Wulf Excerpts from the Symposium Panel Discussions, Pages 235-243 Contributed Talks, Pages 244-245 Demonstrations, Pages 246-247 Inside Back Cover, Page ibc1