Computing Books published by Prentice/Hall International
The following is a list of Computing Books published by Prentice/Hall International in the Centre for Computing History collection. It is not an exhaustive list of and other books may have been published. If you have a book that you would like to donate to our collection, please view our donations page.There are 5 Computing Books published by Prentice/Hall International in our collection :
| Order By : Title - Release Date - Publisher |
Date: 1985
Mathematical Programs in BBC Basic
A set of fully documented programs for GCE A-level mathematics, leading up to first-year degree work. For the BBC Microcomputer ad the acorn electron.
Publisher: Prentice/Hall International
Author: Alan Whittle
Platform:
Date: 31st January 1985
The BBC Microcomputer Disk Companion
This book is an invaluable companion for all owners of a BBCMicrocomputer disk system.
Publisher: Prentice/Hall International
Author: Tony Latham
Platform: BBC Micro
Date: 1935
The Craft of Programming
Major Advances in both the semantics of programming languages and in the methodology of program design and verification have been made in recent years. this advanced textbook draws together these two aspects of programming to provide a sold mathematical foundation for the techniques of proving partial program correctness.
Publisher: Prentice/Hall International
Author: John C. Reynolds
Platform:
Date: 1987
The Implementation of Functional Programming Languages (Hardback)
From the blurb:
'The Implementation of Functional Programming Languages provides a detailed description of the implementation of a high-level functional programming language using graph reduction.
The book is divided into three parts. Part I, Compiling High-level Functional Languages, describes the translation of a high-level functional lnaguage into an intermediate language, the lambda calculus. Part II, Graph Reduction, begins with a simple implementation of the lambda calculus, based on graphic reduction, and then develops a number of refinements and alterantives, such as supercombinators and full laziness. Part III, Advanced Graphi Reduction, describes the G-machine, a sophisticated implementatino of graph reduction, which allows adramatic increase in performance over implementations described earlier int he book.'
Publisher: Prentice/Hall International
Author: Simon L. Peyton Jones
Platform:
Date: 1987
The Implementation of Functional Programming Languages (Paperback)
From the blurb:
'The Implementation of Functional Programming Languages provides a detailed description of the implementation of a high-level functional programming language using graph reduction.
The book is divided into three parts. Part I, Compiling High-level Functional Languages, describes the translation of a high-level functional lnaguage into an intermediate language, the lambda calculus. Part II, Graph Reduction, begins with a simple implementation of the lambda calculus, based on graphic reduction, and then develops a number of refinements and alterantives, such as supercombinators and full laziness. Part III, Advanced Graphi Reduction, describes the G-machine, a sophisticated implementatino of graph reduction, which allows adramatic increase in performance over implementations described earlier int he book.'
Publisher: Prentice/Hall International
Author: Simon L. Peyton Jones
Platform:
