Buy new:

$164.75

List Price: $199.99

Save: $35.24 (18%)

FREE Returns

FREE delivery February 18 - 22

Or fastest delivery February 10 - 20

Select delivery location

Available to ship in 1-2 days.

[{"displayPrice":"$164.75","priceAmount":164.75,"currencySymbol":"$","integerValue":"164","decimalSeparator":".","fractionalValue":"75","symbolPosition":"left","hasSpace":false,"showFractionalPartIfEmpty":true,"offerListingId":"Wcv6AKYf3Urv5B69EQH6VtQoqXwT9hePqZSJy%2FUmEQCHdit76XBJGhX1LCm4ZskW%2F%2Bq%2FJB%2BeWRqw7Uzl30kLsYkx86Lbl2WzFCQOaBu%2B4gvnNWMiWAo1zIcA29dpVe7LQHvhVhCW%2Bds%3D","locale":"en-US","buyingOptionType":"NEW"}]

$$164.75 () Includes selected options. Includes initial monthly payment and selected options. Details

Secure transaction

Ships from

Amazon.com

Sold by

Amazon.com

Details

Ships from

Amazon.com

Sold by

Amazon.com

Return policy: Eligible for Return, Refund or Replacement within 30 days of receipt

Add a gift receipt for easy returns

Have one to sell?

Sell on Amazon

Other Sellers on Amazon

Added

Not added

$153.91
+ $3.99 shipping

Sold by: allnewbooks

Added

Not added

$206.00
& FREE Shipping

Sold by: TheProductsHub

Flip to back Flip to front

Listen Playing... Paused You're listening to a sample of the Audible audio edition.
Learn more

See this image

Follow the Author

Barry Jay

Pattern Calculus: Computing with Functions and Structures 2009th Edition

by Barry Jay (Author)

4 ratings

See all formats and editions

Price

New from

Used from

Hardcover

"Please retry"

$164.75

$153.91

$262.46

Paperback

"Please retry"

$194.33

$152.68

$155.75

Enhance your purchase

Over time, basic research tends to lead to specialization – increasingly narrow t- ics are addressed by increasingly focussed communities, publishing in increasingly con ned workshops and conferences, discussing increasingly incremental contri- tions. Already the community of programming languages is split into various s- communities addressing different aspects and paradigms (functional, imperative, relational, and object-oriented). Only a few people manage to maintain a broader view, and even fewer step back in order to gain an understanding about the basic principles, their interrelation, and their impact in a larger context. The pattern calculus is the result of a profound re-examination of a 50-year - velopment. It attempts to provide a unifying approach, bridging the gaps between different programming styles and paradigms according to a new slogan – compu- tion is pattern matching. It is the contribution of this book to systematically and elegantly present and evaluate the power of pattern matching as the guiding paradigm of programming. Patterns are dynamically generated, discovered, passed, applied, and automatically adapted, based on pattern matching and rewriting technology, which allows one to elegantly relate things as disparate as functions and data structures. Of course, pattern matching is not new. It underlies term rewriting – it is, for example, inc- porated in, typically functional, programming languages, like Standard ML – but it has never been pursued as the basis of a unifying framework for programming.

ISBN-10

9783540891840
ISBN-13

978-3540891840
Edition

2009th
Publisher

Springer
Publication date

August 12, 2009
Language

English
Dimensions

6.14 x 0.56 x 9.21 inches
Print length

230 pages
See all details

Robert Nystrom
440
Paperback
24 offers from $35.28
Chris Hanson
111
Hardcover
28 offers from $39.70

Editorial Reviews

Review

From the reviews:

"In this book the author will make you have second thoughts about the possibility and desirability of compiling away pattern matching ... It is amazing that the dynamic pattern calculus is syntactically almost as simple as the pure lambda-calculus, yet it is much more expressive." (Eugenio Moggi, University of Genoa)

“More than anyone else, he has systematically explored both the theory and practice of pattern matching. More importantly, the knowledge thus gained has been largely transcribed into this book. Carefully written, it concisely explains the concepts surrounding the integration of pattern matching into both the operational semantics and the type system of two programming paradigms--functional and object-oriented. … The audience for this book is researchers in programming language design; for them, I highly recommend this book.” (Jacques Carette, ACM Computing Reviews, January, 2010)

“This work brings a new perspective for a theory that would unify the driving forces behind the main sub-groups of programming languages … . The book addresses final year undergraduates, graduates from a research-oriented master and a broader range of specialists, experts in fields related to the foundation of computation. … the perspective exposed here can be of great use for specialists working in the design of programming languages or in the design of tools and Web services … .” (Mirel Cosulschi, Zentralblatt MATH, Vol. 1215, 2011)

Product details

ASIN ‏ : ‎ 3540891846
Publisher ‏ : ‎ Springer; 2009th edition (August 12, 2009)
Language ‏ : ‎ English
Hardcover ‏ : ‎ 230 pages
ISBN-10 ‏ : ‎ 9783540891840
ISBN-13 ‏ : ‎ 978-3540891840
Item Weight ‏ : ‎ 1.14 pounds
Dimensions ‏ : ‎ 6.14 x 0.56 x 9.21 inches

Best Sellers Rank: #4,172,489 in Books (See Top 100 in Books)
- #338 in Functional Software Programming
- #426 in Computer Programming Logic
- #464 in Computer Programming Structured Design

Customer Reviews:
4 ratings

Brief content visible, double tap to read full content.

Full content visible, double tap to read brief content.

Videos

Help others learn more about this product by uploading a video!

Upload your video

About the author

Follow authors to get new release updates, plus improved recommendations.

Barry Jay

Brief content visible, double tap to read full content.

Full content visible, double tap to read brief content.

Discover more of the author’s books, see similar authors, read author blogs and more

Customer reviews

4.4 out of 5

4 global ratings

5 star		44%
4 star		56%
3 star 0% (0%)		0%
2 star 0% (0%)		0%
1 star 0% (0%)		0%

How customer reviews and ratings work

Top reviews from the United States

There was a problem filtering reviews right now. Please try again later.

Starship1974

Pattern polymorphism...... EUREKA.......

Reviewed in the United States 🇺🇸 on May 28, 2014

Verified Purchase

In short... Programmers paradise. Pattern polymorphism can be used to create wrappers natively for all three programing idioms.... Imperative, object oriented and declarative.... Wow....

Now... Onto learning bondi... And working on automated reasoning...

Babel and babble finally overcome... The gift of tongues, as prophesied long ago...

... Angelic hosts speak bondi in Heaven... Amen..........

2 people found this helpful

Helpful

James Litsios

Tour de force but a hard read

Reviewed in the United States 🇺🇸 on October 21, 2009

You will buy this book as a faithful if you have been writing software for more than thirty years and are confronted with the tear and wear in its current theoretical and practical foundations. The eternal question is "how to blend data and functions together so as be rigorously expressive but also to allow later growth of design"? This book presents one of the strongest answers this question in the form of a theoretical presentation of pattern calculus and its implementation as a programming language. Conceptually that would deserve five stars. But... style wise the book is terse and it takes sheer will power to read it carefully because the writing is linear and it does become a bit monotonous. Thus the four stars only score!
You need at least notions of type theory to read the book.

17 people found this helpful

Helpful

Surinder

Next step in theory of computations

Reviewed in the United States 🇺🇸 on August 26, 2010

Software developers know the painful truth that it takes very high caliber people to produce an average to poor quality product. The reason : software developers do not have a set of tools that construction engineers have, by which they repeatedly check their work before, during and after construction.

Pattern calculus is the next step in filling that void, next step for those who have understood Turing machines, Lambda Calculus and other forms of discrete mathematics, i.e., the state of art of computer theory. It has taken many decades for someone to come up with the next step of computation theory because this is not an easy step. To comprehend the next step requires an ability jumping from concrete to abstract thinking, the kind of jump that was required to understand Lambda calculus by arithematicians. The author has used an easy to understand style with simple examples to help us towards that.

The success of the book and the next revolution in theoretical computer science depends on the ability of a critical mass of computer scientists, understanding the concepts and realizing their significance. It is bound to happen.

10 people found this helpful

Helpful

Top reviews from other countries

Translate all reviews to English

Hans Beck

Gut geschrieben und verständlich

Reviewed in Germany 🇩🇪 on December 28, 2021

Verified Purchase

Das Buch gibt einen guten Überblick über die Bereiche Datastrukturen und Funktionen und wie das alles zusammenhängt. Die Symbolik wird nicht übertrieben, es ist aber dennoch formal. Ob es für Anfänger geeignet ist weiß ich nicht, ich programmiere Prolog und habe schon einige Berufserfahrung.

Translate review to English

See all reviews

Buy new: $164.75

Other Sellers on Amazon

Follow the Author

Pattern Calculus: Computing with Functions and Structures 2009th Edition

Enhance your purchase

Customers who bought this item also bought

Editorial Reviews

Review

Product details

Videos

About the author

Barry Jay

Customer reviews

Top reviews from the United States

There was a problem filtering reviews right now. Please try again later.

Top reviews from other countries

Buy new:

$164.75