Perspectives on Computer Science - 1st Edition - ISBN: 9780123894502, 9781483218465

Perspectives on Computer Science

1st Edition

From the 10th Anniversary Symposium at the Computer Science Department, Carnegie-Mellon University

Editors: Anita K. Jones
eBook ISBN: 9781483218465
Imprint: Academic Press
Published Date: 1st January 1977
Page Count: 264
Sales tax will be calculated at check-out Price includes VAT/GST
72.95
43.99
54.95
Unavailable
Price includes VAT/GST
× DRM-Free

Easy - Download and start reading immediately. There’s no activation process to access eBooks; all eBooks are fully searchable, and enabled for copying, pasting, and printing.

Flexible - Read on multiple operating systems and devices. Easily read eBooks on smart phones, computers, or any eBook readers, including Kindle.

Open - Buy once, receive and download all available eBook formats, including PDF, EPUB, and Mobi (for Kindle).

Institutional Access

Secure Checkout

Personal information is secured with SSL technology.

Free Shipping

Free global shipping
No minimum order.

Description

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.

Table of Contents


List of Contributors


Preface


Foreword


The Keynote Speech


What Have We Learned from the PDP-11?


1. Introduction


2. Background: Thoughts Behind the Design


3. Technology: Components of the Design


4. People: Builders of the Design


5. The PDP-11 : An Evaluation


6. Future Plans and Directions


7. Summary


References


The Use of Domain-Dependent Descriptions in Tree Searching


1. Introduction


2. The Use of Domain-Dependent Knowledge


3. Necessary Properties of Domain-Dependent Descriptions


4. Domain-Dependent Descriptions for Computer Chess


5. Examples


6. Summary


References


Knowledge Representation In Automatic Planning Systems


1. Introduction


2. State Description Models


3. Action Models


4. Procedural Subplanners


5. Hierarchical Planning


6. Assertional Domain Knowledge


7. Summary


References


On the Concurrency of Parallel Processes


1. Introduction


2. Coordination of Concurrent Programs


3. Deadlock Detection


4. Conclusion


References


A Case Study—Assimilation and Creation of Computer Science Technology In a Developing Country


1. The Problem in General


2. Computer Science Technology for Bureaucratic Systems


3. The Infonavit


4. The Political Framework


5. Administrative Measures


6. The Technical Aspects


7. Conclusions


A New Approach to Recursive Programs


1. Introduction


2. Recursive Programs and Their Fixedpoints


3. The Optimal Fixedpoint


4. A Detailed Example</BR

Details

No. of pages:
264
Language:
English
Copyright:
© Academic Press 1977
Published:
Imprint:
Academic Press
eBook ISBN:
9781483218465

About the Editor

Anita K. Jones

Ratings and Reviews