This text is perfect for advanced undergraduate and beginning graduate courses in programming language theory. Num Pages: 516 pages, black & white illustrations. BIC Classification: UMX; UYA. Category: (P) Professional & Vocational. Dimension: 245 x 172 x 30. Weight in Grams: 816. . 2009. 1st Edition. Paperback. . . . .

Seller Inventory # V9780521106979

Contact seller

Report this item

Bibliographic Details

Title: Theories of Programming Languages
Publisher: Cambridge University Press
Publication Date: 2009
Language: English
ISBN 10: 0521106974
ISBN 13: 9780521106979
Binding: Soft cover
Edition: 1st Edition
Condition: New

About this title

Synopsis

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.

Book Description

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 such as program specification and proof, concurrent programming, functional programming, and type systems.Assuming only knowledge of elementary programming and elementary mathematics, this text is perfect for advanced undergraduate and beginning graduate courses in programming language theory, and will also appeal to researchers and professionals.

"About this title" may belong to another edition of this title.

Store Description

Kennys.ie is the largest exporter of books from Ireland currently exporting to approximately 100 countries around the world. Kennys Bookshop houses hundreds of thousands of books and specialises in collection development and library services, supplying booksellers and state and university libraries on a global scale including the U.S.A.,Japan and Europe. Kennys.ie is Ireland's Largest Online Bookshop.

Visit Seller's Storefront

Seller's business information

Kennys Bookshop and Art Galleries Ltd.
Liosban Industrial Estate, Tuam Road, Galway, Ireland

Sale & Shipping Terms

Terms of Sale

Terms of Sale - Credit Cards: Visa, Master Card, American Express, Diner.
Payment can also be made by bank draft in Euros, drawn on an Irish Bank.

We regret that PO Boxes are not acceptable to the U.S. as our courier will not deliver to them.

In case of returns or queries please contact us by email books@kennys.ie or by phone +353 91 709350

VAT Registration - IE2238521A

Conor Kenny

Shipping Terms

Free Shipping

Shipping rates from Ireland to U.S.A.

Shipping rates from Ireland to U.S.A.
Order quantity	12 to 22 business days	10 to 20 business days
First item	US$ 12.21	US$ 13.37

Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.