Theories of Programming Languages, by Reynolds

Reynolds, John C.

Published by Cambridge Univ Pr, 2009
ISBN 10: 0521106974 / ISBN 13: 9780521106979
Used / Paperback / Quantity Available: 0
Available From More Booksellers
View all  copies of this book

About the Book

We're sorry; this specific copy is no longer available. AbeBooks has millions of books. We've listed similar copies below.

Description:

May include moderately worn cover, writing, markings or slight discoloration. SKU:9780521106979-4-0-3. Bookseller Inventory #

About this title:

Book ratings provided by Goodreads:
4 avg rating
(7 ratings)

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.

Bibliographic Details

Title: Theories of Programming Languages, by ...
Publisher: Cambridge Univ Pr
Publication Date: 2009
Binding: Paperback
Book Condition: Fair

Top Search Results from the AbeBooks Marketplace

1.

Reynolds, John C.
Published by Cambridge University Press (2009)
ISBN 10: 0521106974 ISBN 13: 9780521106979
New Quantity Available: > 20
Print on Demand
Seller
Books2Anywhere
(Fairford, GLOS, United Kingdom)
Rating
[?]

Book Description Cambridge University Press, 2009. PAP. Book Condition: New. New Book. Delivered from our UK warehouse in 3 to 5 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Bookseller Inventory # LQ-9780521106979

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 57.27
Convert Currency

Add to Basket

Shipping: US$ 11.58
From United Kingdom to U.S.A.
Destination, Rates & Speeds

2.

Reynolds, John C.
Published by Cambridge University Press (2009)
ISBN 10: 0521106974 ISBN 13: 9780521106979
New Quantity Available: > 20
Print on Demand
Seller
Pbshop
(Wood Dale, IL, U.S.A.)
Rating
[?]

Book Description Cambridge University Press, 2009. PAP. Book Condition: New. New Book. Shipped from US within 10 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Bookseller Inventory # IQ-9780521106979

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 57.96
Convert Currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, Rates & Speeds

3.

John C. Reynolds
Published by CAMBRIDGE UNIVERSITY PRESS, United Kingdom (2009)
ISBN 10: 0521106974 ISBN 13: 9780521106979
New Paperback Quantity Available: 10
Print on Demand
Seller
The Book Depository US
(London, United Kingdom)
Rating
[?]

Book Description CAMBRIDGE UNIVERSITY PRESS, United Kingdom, 2009. Paperback. Book Condition: New. Language: English . Brand New Book ***** Print on Demand *****. First published in 1998, this textbook is a broad but rigourous survey of the theoretical basis for the design, definition and implementation of programming languages and of systems for specifying and proving programme behaviour. Both imperative and functional programming are covered, as well as the ways of integrating these aspects into more general languages. Recognising a unity of technique beneath the diversity of research in programming languages, the author presents an integrated treatment of the basic principles of the subject. He identifies the relatively small number of concepts, such as compositional semantics, binding structure, domains, transition systems and inference rules, that serve as the foundation of the field. Assuming only knowledge of elementary programming and mathematics, this text is perfect for advanced undergraduate and beginning graduate courses in programming language theory and also will appeal to researchers and professionals in designing or implementing computer languages. Bookseller Inventory # AAV9780521106979

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 63.56
Convert Currency

Add to Basket

Shipping: FREE
From United Kingdom to U.S.A.
Destination, Rates & Speeds

4.

Reynolds, John C.
Published by Cambridge University Press
ISBN 10: 0521106974 ISBN 13: 9780521106979
Used Quantity Available: 1
Seller
Lucky's Textbooks
(Dallas, TX, U.S.A.)
Rating
[?]

Book Description Cambridge University Press. Book Condition: Good. 0521106974 May have signs of use, may be ex library copy. Book Only. Used items do not include access codes, cd's or other accessories, regardless of what is stated in item title. Bookseller Inventory # Z0521106974Z3

More Information About This Seller | Ask Bookseller a Question

Buy Used
US$ 60.49
Convert Currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, Rates & Speeds

5.

Reynolds, John C.
Published by Cambridge University Press (2016)
ISBN 10: 0521106974 ISBN 13: 9780521106979
New Paperback Quantity Available: 1
Print on Demand
Seller
Ria Christie Collections
(Uxbridge, United Kingdom)
Rating
[?]

Book Description Cambridge University Press, 2016. Paperback. Book Condition: New. PRINT ON DEMAND Book; New; Publication Year 2016; Not Signed; Fast Shipping from the UK. No. book. Bookseller Inventory # ria9780521106979_lsuk

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 64.64
Convert Currency

Add to Basket

Shipping: US$ 4.98
From United Kingdom to U.S.A.
Destination, Rates & Speeds

6.

John C. Reynolds
Published by CAMBRIDGE UNIVERSITY PRESS, United Kingdom (2009)
ISBN 10: 0521106974 ISBN 13: 9780521106979
New Paperback Quantity Available: 10
Print on Demand
Seller
The Book Depository
(London, United Kingdom)
Rating
[?]

Book Description CAMBRIDGE UNIVERSITY PRESS, United Kingdom, 2009. Paperback. Book Condition: New. Language: English . Brand New Book ***** Print on Demand *****.First published in 1998, this textbook is a broad but rigourous survey of the theoretical basis for the design, definition and implementation of programming languages and of systems for specifying and proving programme behaviour. Both imperative and functional programming are covered, as well as the ways of integrating these aspects into more general languages. Recognising a unity of technique beneath the diversity of research in programming languages, the author presents an integrated treatment of the basic principles of the subject. He identifies the relatively small number of concepts, such as compositional semantics, binding structure, domains, transition systems and inference rules, that serve as the foundation of the field. Assuming only knowledge of elementary programming and mathematics, this text is perfect for advanced undergraduate and beginning graduate courses in programming language theory and also will appeal to researchers and professionals in designing or implementing computer languages. Bookseller Inventory # AAV9780521106979

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 64.91
Convert Currency

Add to Basket

Shipping: FREE
From United Kingdom to U.S.A.
Destination, Rates & Speeds

7.

JOHN C. REYNOLDS
ISBN 10: 0521106974 ISBN 13: 9780521106979
New Paperback Quantity Available: 1
Seller
Herb Tandree Philosophy Books
(Stroud, GLOS, United Kingdom)
Rating
[?]

Book Description 2009. Paperback. Book Condition: NEW. 9780521106979 This listing is a new book, a title currently in-print which we order directly and immediately from the publisher. Bookseller Inventory # HTANDREE0445513

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 63.79
Convert Currency

Add to Basket

Shipping: US$ 10.29
From United Kingdom to U.S.A.
Destination, Rates & Speeds

8.

Reynolds, John C.
Published by Cambridge University Press (2017)
ISBN 10: 0521106974 ISBN 13: 9780521106979
New Paperback Quantity Available: 13
Print on Demand
Seller
Murray Media
(North Miami Beach, FL, U.S.A.)
Rating
[?]

Book Description Cambridge University Press, 2017. Paperback. Book Condition: New. Never used! This item is printed on demand. Bookseller Inventory # 0521106974

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 75.34
Convert Currency

Add to Basket

Shipping: US$ 1.99
Within U.S.A.
Destination, Rates & Speeds

9.

John C. Reynolds
Published by Cambridge University Press (2009)
ISBN 10: 0521106974 ISBN 13: 9780521106979
New Paperback Quantity Available: 1
Seller
Ergodebooks
(RICHMOND, TX, U.S.A.)
Rating
[?]

Book Description Cambridge University Press, 2009. Paperback. Book Condition: New. 1. Bookseller Inventory # DADAX0521106974

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 78.30
Convert Currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, Rates & Speeds

10.

Reynolds, John C.
Published by Cambridge University Press
ISBN 10: 0521106974 ISBN 13: 9780521106979
New Quantity Available: 1
Seller
Ohmsoft LLC
(Lake Forest, IL, U.S.A.)
Rating
[?]

Book Description Cambridge University Press. Book Condition: Brand New. Ships from USA. FREE domestic shipping. Bookseller Inventory # 0521106974

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 87.00
Convert Currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, Rates & Speeds

There are 11 more copies of this book

View all search results for this book