Items related to Programming Language Theory and Its Implementation...
Programming Language Theory and Its Implementation (Prentice Hall International Series in Computing Science) - Softcover
This volume introduces and explores those parts of programming language theory that have important applications in improving the quality of software. Provides an elementary introduction to Floyd-Hoare logic and Calculus, Combinators and Functional Programming.
"synopsis" may belong to another edition of this title.
- PublisherPrentice Hall
- Publication date1988
- ISBN 10 013730417X
- ISBN 13 9780137304172
- BindingPaperback
- Number of pages255
Top Search Results from the AbeBooks Marketplace
Stock Image
PROGRAMMING LANGUAGE THEORY AND ITS IMPLEMENTATION. Applicative And Imperative Paradigms.
Published by
Prentice-Hall:
(1988)
ISBN 10: 013730417X
ISBN 13: 9780137304172
Used
Hardcover
Quantity: 1
Seller:
Rating
Book Description Hard Cover. Condition: Fine-. The first printing, 255 pages. "This book is divided into three parts. Part I, Proving Programs Correct, illustated the use of Floyd-Hoare logic for specifying and varifying programs; techniques for mechanizing program varification are explained. Part II, The Lambda-Caluculus and Combinators, describes the theory underlying functional languages and their implementation. Part II, Implementing the Theories, contains detailed descriptions of working programs which illustrate the material described in Parts I and II. Also included is a complete program verifier, based on a simple re-writing engine, and a tool kit for experimenting with implemetnation techniques for functional languages." FINE- HARDCOVER. Size: 8vo - over 7¾" - 9¾" tall. Seller Inventory # 022916
Buy Used
£ 53.76
Convert currency
Stock Image
Programming language theory and its implementation: Applicative and imperative paradigms (Prentice Hall international series in computer science)
Published by
Prentice-Hall
(1988)
ISBN 10: 013730417X
ISBN 13: 9780137304172
Used
paperback
Quantity: 1
Seller:
Rating
Book Description paperback. Condition: Good. Good. book. Seller Inventory # D7S9-1-M-013730417X-3
Buy Used
£ 422.10
Convert currency
Stock Image
Programming language theory and its implementation: Applicative and imperative paradigms (Prentice Hall international series in computer science)
Published by
Prentice-Hall
(1988)
ISBN 10: 013730417X
ISBN 13: 9780137304172
Used
Softcover
Quantity: 1
Seller:
Rating
Book Description Condition: Good. Buy with confidence! Book is in good condition with minor wear to the pages, binding, and minor marks within. Seller Inventory # bk013730417Xxvz189zvxgdd
Buy Used
£ 447.78
Convert currency