Items related to Theories of Programming Languages

Theories of Programming Languages - Hardcover

  • 4.00 out of 5 stars
    10 ratings by Goodreads
 
9780521594141: Theories of Programming Languages

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.

"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.

  • PublisherCambridge University Press
  • Publication date1998
  • ISBN 10 0521594146
  • ISBN 13 9780521594141
  • BindingHardcover
  • LanguageEnglish
  • Edition number1
  • Number of pages514
  • Rating
    • 4.00 out of 5 stars
      10 ratings by Goodreads

Buy Used

Condition: Very Good
Book is in very good condition...
View this item

FREE shipping within U.S.A.

Destination, rates & speeds

Other Popular Editions of the Same Title

9780521106979: Theories of Programming Languages

Featured Edition

ISBN 10:  0521106974 ISBN 13:  9780521106979
Publisher: Cambridge University Press, 2009
Softcover

Search results for Theories of Programming Languages

Seller Image

Reynolds, John C.
Published by Cambridge University Press, 1998
ISBN 10: 0521594146 ISBN 13: 9780521594141
Used Hardcover

Seller: Zoom Books Company, Lynden, WA, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: very_good. Book is in very good condition and may include minimal underlining highlighting. The book can also include "From the library of" labels. May not contain miscellaneous items toys, dvds, etc. . We offer 100% money back guarantee and 24 7 customer service. Seller Inventory # ZBV.0521594146.VG

Contact seller

Buy Used

US$ 14.62
Convert currency
Shipping: FREE
Within U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Reynolds, John C.
Published by Cambridge University Press, 1998
ISBN 10: 0521594146 ISBN 13: 9780521594141
Used Hardcover

Seller: Better World Books, Mishawaka, IN, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: Very Good. Former library book; may include library markings. Used book that is in excellent condition. May show signs of wear or have minor defects. Seller Inventory # GRP31669801

Contact seller

Buy Used

US$ 15.27
Convert currency
Shipping: FREE
Within U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Reynolds, John C.
ISBN 10: 0521594146 ISBN 13: 9780521594141
Used Hardcover

Seller: Tiber Books, Cockeysville, MD, U.S.A.

Seller rating 4 out of 5 stars 4-star rating, Learn more about seller ratings

Hardcover. Condition: Very Good. 8vo, hardcover. No dj, as issued. Vg condition. Slightest moisture-rippling to bottom margin of pgs, to minor effect, not affecting text at all (no staining); Contents bright & clean, no markings; covers glossy. xii, 500 p. Seller Inventory # 1150630.19

Contact seller

Buy Used

US$ 50.00
Convert currency
Shipping: US$ 5.49
Within U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Reynolds, John C.
Published by Cambridge University Press, 1998
ISBN 10: 0521594146 ISBN 13: 9780521594141
Used Hardcover

Seller: Anybook.com, Lincoln, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: Fair. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In fair condition, suitable as a study copy. Library sticker on front cover. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,1150grams, ISBN:9780521594141. Seller Inventory # 5573705

Contact seller

Buy Used

US$ 42.90
Convert currency
Shipping: US$ 17.11
From United Kingdom to U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

Seller Image

Reynolds, John C.
Published by Cambridge University Press, 1998
ISBN 10: 0521594146 ISBN 13: 9780521594141
New Hardcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Seller Inventory # 700248-n

Contact seller

Buy New

US$ 81.06
Convert currency
Shipping: US$ 2.64
Within U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Stock Image

Reynolds, John C.
Published by Cambridge University Press, 1998
ISBN 10: 0521594146 ISBN 13: 9780521594141
New Hardcover

Seller: Toscana Books, AUSTIN, TX, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Hardcover. Condition: new. Excellent Condition.Excels in customer satisfaction, prompt replies, and quality checks. Seller Inventory # Scanned0521594146

Contact seller

Buy New

US$ 79.41
Convert currency
Shipping: US$ 4.30
Within U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Reynolds, John C.
Published by Cambridge University Press, 1998
ISBN 10: 0521594146 ISBN 13: 9780521594141
New Hardcover

Seller: Lucky's Textbooks, Dallas, TX, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Seller Inventory # ABLIING23Feb2416190008726

Contact seller

Buy New

US$ 93.52
Convert currency
Shipping: US$ 3.99
Within U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Seller Image

Reynolds, John C.
Published by Cambridge University Press, 1998
ISBN 10: 0521594146 ISBN 13: 9780521594141
Used Hardcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: As New. Unread book in perfect condition. Seller Inventory # 700248

Contact seller

Buy Used

US$ 96.04
Convert currency
Shipping: US$ 2.64
Within U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Stock Image

Reynolds, John C.
Published by Cambridge University Press, 1998
ISBN 10: 0521594146 ISBN 13: 9780521594141
New Hardcover

Seller: California Books, Miami, FL, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Seller Inventory # I-9780521594141

Contact seller

Buy New

US$ 105.00
Convert currency
Shipping: FREE
Within U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Stock Image

Reynolds, John C.
Published by Cambridge University Press, 1998
ISBN 10: 0521594146 ISBN 13: 9780521594141
New Hardcover

Seller: Ria Christie Collections, Uxbridge, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. In. Seller Inventory # ria9780521594141_new

Contact seller

Buy New

US$ 90.89
Convert currency
Shipping: US$ 15.92
From United Kingdom to U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

There are 10 more copies of this book

View all search results for this book