.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Description for Pattern Calculus
Hardback. Pattern calculus is a new foundation for computation. This book introduces static and dynamic pattern calculus, supports a family of type systems for pattern calculi that build on novel typings of lamda-calculus, and details a new programming language, bondi. Num Pages: 213 pages, biography. BIC Classification: UM. Category: (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 14. Weight in Grams: 504.
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 ... Read more
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 ... Read more
Product Details
Format
Hardback
Publication date
2009
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
213
Condition
New
Number of Pages
213
Place of Publication
Berlin, Germany
ISBN
9783540891840
SKU
V9783540891840
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Pattern Calculus
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 ... Read more