Theories of Programming Languages

4 avg rating
( 7 ratings by Goodreads )
 
9780521594141: Theories of Programming Languages
View all copies of this ISBN edition:
 
 

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.

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

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.

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

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

Top Search Results from the AbeBooks Marketplace

1.

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

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

More information about this seller | Contact this seller

Buy New
US$ 81.85
Convert Currency

Add to Basket

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

2.

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

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

More information about this seller | Contact this seller

Buy New
US$ 84.28
Convert Currency

Add to Basket

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

3.

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

Book Description Cambridge University Press, 1998. HRD. Condition: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # IQ-9780521594141

More information about this seller | Contact this seller

Buy New
US$ 77.30
Convert Currency

Add to Basket

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

4.

John C. Reynolds
Published by Cambridge Univ Pr (1998)
ISBN 10: 0521594146 ISBN 13: 9780521594141
New Hardcover Quantity Available: 1
Seller:
Revaluation Books
(Exeter, United Kingdom)
Rating
[?]

Book Description Cambridge Univ Pr, 1998. Hardcover. Condition: Brand New. 500 pages. 10.50x7.25x1.00 inches. In Stock. Seller Inventory # __0521594146

More information about this seller | Contact this seller

Buy New
US$ 81.69
Convert Currency

Add to Basket

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

5.

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

Book Description 1998. Hardback. Condition: NEW. 9780521594141 This listing is a new book, a title currently in-print which we order directly and immediately from the publisher. For all enquiries, please contact Herb Tandree Philosophy Books directly - customer service is our primary goal. Seller Inventory # HTANDREE0465045

More information about this seller | Contact this seller

Buy New
US$ 83.33
Convert Currency

Add to Basket

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

6.

Reynolds, John C.
Published by Cambridge University Press (2018)
ISBN 10: 0521594146 ISBN 13: 9780521594141
New Hardcover Quantity Available: > 20
Print on Demand
Seller:
Murray Media
(North Miami Beach, FL, U.S.A.)
Rating
[?]

Book Description Cambridge University Press, 2018. Hardcover. Condition: New. Never used! This item is printed on demand. Seller Inventory # 0521594146

More information about this seller | Contact this seller

Buy New
US$ 96.93
Convert Currency

Add to Basket

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

7.

John C. Reynolds
Published by CAMBRIDGE UNIVERSITY PRESS, United Kingdom (2011)
ISBN 10: 0521594146 ISBN 13: 9780521594141
New Hardcover Quantity Available: 10
Print on Demand
Seller:
Book Depository International
(London, United Kingdom)
Rating
[?]

Book Description CAMBRIDGE UNIVERSITY PRESS, United Kingdom, 2011. Hardback. 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. Seller Inventory # APC9780521594141

More information about this seller | Contact this seller

Buy New
US$ 109.17
Convert Currency

Add to Basket

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

8.

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

Book Description CAMBRIDGE UNIVERSITY PRESS, United Kingdom, 2011. Hardback. 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. Seller Inventory # APC9780521594141

More information about this seller | Contact this seller

Buy New
US$ 110.60
Convert Currency

Add to Basket

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

9.

John C. Reynolds
Published by Cambridge University Press (1998)
ISBN 10: 0521594146 ISBN 13: 9780521594141
New Hardcover Quantity Available: 1
Seller:
Ergodebooks
(RICHMOND, TX, U.S.A.)
Rating
[?]

Book Description Cambridge University Press, 1998. Hardcover. Condition: New. Seller Inventory # DADAX0521594146

More information about this seller | Contact this seller

Buy New
US$ 109.49
Convert Currency

Add to Basket

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

10.

John C. Reynolds
Published by Cambridge University Press
ISBN 10: 0521594146 ISBN 13: 9780521594141
New Hardcover Quantity Available: > 20
Seller:
BuySomeBooks
(Las Vegas, NV, U.S.A.)
Rating
[?]

Book Description Cambridge University Press. Hardcover. Condition: New. 514 pages. Dimensions: 10.0in. x 7.2in. x 1.1in.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. This item ships from multiple locations. Your book may arrive from Roseburg,OR, La Vergne,TN. Hardcover. Seller Inventory # 9780521594141

More information about this seller | Contact this seller

Buy New
US$ 120.96
Convert Currency

Add to Basket

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

There are more copies of this book

View all search results for this book