| 書目名稱 | Pattern Calculus | | 副標題 | Computing with Funct | | 編輯 | Barry Jay | | 視頻video | http://file.papertrans.cn/743/742511/742511.mp4 | | 概述 | This is the first book on the pattern calculus, a new foundation for computation | | 圖書封面 |  | | 描述 | 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 technolo | | 出版日期 | Book 2009 | | 關鍵詞 | Data structures; Functional programming; Imperative programming; Lambda calculus; Lisp; OCaml; Pattern cal | | 版次 | 1 | | doi | https://doi.org/10.1007/978-3-540-89185-7 | | isbn_softcover | 978-3-642-42601-8 | | isbn_ebook | 978-3-540-89185-7 | | copyright | Springer-Verlag Berlin Heidelberg 2009 |
The information of publication is updating
|
|
|Archiver|手機版|小黑屋|
派博傳思國際
( 京公網安備110108008328)
GMT+8, 2026-1-27 19:19
發(fā)表于 2025-3-21 17:32:32
