shopping cart
Save up to 30% on our Staff Picks
Call us: 800-878-7323 HELP
McAfee SECURE helps keep you safe from identity theft, credit card fraud, spyware, spam, viruses and online scams.
Contributors | November 10, 2009

Zachary Lazar: IMG Evening's Empire

0 comments By Zachary Lazar

Without knowing it, I'd always had two unspoken arrangements with the world. The first was that I would not trouble it with unpleasant conversation... Continue »
  1. $17.49 Sale Hardcover add to wish list

    Evening's Empire: The Story of My Father's Murder

    Zachary Lazar
Ships free on qualified orders.
Add to Cart
$87.75
List price: $90.00
New Hardcover
Ships in 1 to 3 days
Add to Wishlist
available for shipping or prepaid pickup only
Available for In-store Pickup
in 7 to 12 days
Qty Store Section
1 Remote Warehouse Software Engineering- Programming and Languages
Used Book Alert Receive an email when this ISBN is available used.

More copies of this ISBN:

This title in other formats:

Theories of Programming Languages

by John C. Reynolds

Theories of Programming Languages Cover

ISBN13: 9780521594141
ISBN10: 0521594146
Condition: Standard
All Product Details

Only 1 left in stock at $87.75!

Synopses & Reviews

Publisher Comments:

This textbook is a broad but rigorous survey of the theoretical basis for the design, definition, and implementation of programming languages, and of systems for specifying and proving program behavior. It encompasses imperative and functional programming, as well as the ways of integrating these aspects into more general languages. Basic concepts and their properties are described with mathematical rigor, but the mathematical development is balanced by numerous examples of applications, particularly of program specification and proof, concurrent programming, functional programming (including the use of continuations and lazy evaluation), and type systems (including subtyping, polymorphism, and modularization). Assuming only knowledge of elementary programming, this text is perfect for advanced undergraduate and beginning graduate courses in programming language theory, and will also appeal to researchers and professionals in designing or implementing computer languages.

Review:

"I found the whole book a distinct pleasure to read and certainly recommend this text for consideration by instructors." Mathematical Reviews"clearly structured...the presentation is clear, and the typesetting often helps the reader to understand the structure of the formulas. Each chapter contains valuable exercises and profound bibliographic notes that can serve as a starting point for further reading. I shall use this excellent textbook in my lectures." Computing Reviews"...an important book...It is thorough and well organized, and the explanations are very clear. I found the technical content to be in almost every respect flawless. Although written to be a student text, I believe that most researchers (and many practitioners) in programming lanauges (and related fields) would find it worth reading." Journal of Functional Programming

Synopsis:

This is a broad but rigorous survey of the theory underlying computer programming languages. It shows how a wide variety of language concepts can be designed cleanly, defined precisely, used effectively, and implemented correctly. The mathematical development is balanced by numerous examples of applications. Prerequisites are a good grasp of elementary programming and elementary mathematics.

Synopsis:

A unified treatment of the basic principles of programming languages.

Description:

Includes bibliographical references (p. 467-482) and index.
back to top

Table of Contents

1. Predicate logic; 2. The simple imperative language; 3. Program specifications and their proofs; 4. Arrays; 5. Failure, input-output and continuations; 6. Transition semantics; 7. Nondeterminism and guarded commands; 8. Shared-variable currency; 9. Communicating sequential processes; 10. The Lambda calculus; 11. An eager functional language; 12. Continuations in a functional language; 13. Iswim-like languages; 14. A normal-order language; 15. The simple type system; 16. Subtypes and intersection types; 17. Polymorphism; 18. Module specification; 19. Algol-like languages; Appendix: mathematical background.

back to top
back to top

Product Details

ISBN:
9780521594141
Author:
Reynolds, John C.
Publisher:
Cambridge Bibles
Location:
Cambridge ;
Subject:
Programming Languages - General
Subject:
Programming - General
Subject:
Programming - Software Development
Subject:
Programming languages (electronic computers)
Subject:
Programming Languages.
Subject:
Software Development & Engineering - General
Copyright:
1998
Publication Date:
October 1998
Binding:
Hardcover
Grade Level:
Professional and scholarly
Language:
English
Illustrations:
Yes
Pages:
512
Dimensions:
10.24x7.30x1.32 in. 2.30 lbs.
back to top

Related Aisles

  • back to top

Powell's City of Books is an independent bookstore in Portland, Oregon, that fills a whole city block with more than a million new, used, and out of print books. Shop those shelves — plus literally millions more books, DVDs, and eBooks — here at Powells.com.