Abstract Computing Machines

图书介绍

The book addresses ways and means of organizing computations, highlighting the relationship between algorithms and the basic mechanisms and runtime structures necessary to execute them using machines. It completely abstracts from concrete programming languages and machine architectures, taking instead the lambda calculus as the basic programming and program execution model to design various abstract machines for its correct implementation. The emphasis is on fully normalizing machines based on a full-fledged beta-reduction as an essential prerequisite for symbolic computations that treat functions and variables truly as first-class objects. Their weakly normalizing counterparts are shown to be functional abstract machines that sacrifice the flavors of full beta-reductions for decidedly simpler runtime structures and improved runtime efficiency. Further downgrading of the lambda calculus leads to classical imperative (von Neumann) machines that permit side-effecting operations on the runtime environment.

http://rapidshare.com/files/19421049/abstrcompchines.rar.html

1. Ebooks list page : 378
2. Abstract Computing Machines: A Lambda-Calculus Perspective (repost)
3. [share_ebook] Abstract Computing Machines
4. Abstract Computing Machines
5. Abstract Computing Machines
6. Abstract Computing Machines
7. Abstract Computing Machines
8. Abstract Computing Machines
9. Abstract Computing Machines
10. [share_ebook] Abstract State Machines: A Method for High-Level System Design and Analysis
11. Egon Boerger, Robert Staerk, "Abstract State Machines: A Method for High-Level System Design and Analysis"
12. Egon Boerger, Robert Staerk, "Abstract State Machines: A Method for High-Level System Design and Analysis"
13. [share_ebook] Abstract State Machines 2004. Advances in Theory and Practice: 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings (Lecture Notes in Computer Science)
14. [share_ebook] Abstract State Machines: A Method for High-Level System Design and Analysis
15. Abstract State Machines 2004. Advances in Theory and Practice [repost]
16. Abstract State Machines: A Method for High-Level System Design and Analysis {Repost}
17. Abstract State Machines 2003
18. Wolf Zimmermann, Bernhard Thalheim - Abstract State Machines 2004. Advances in Theory and Practice
19. Abstract State Machines, Alloy, B and Z
20. Abstract State Machines, B and Z
21. Abstract State Machines: A Method for High-Level System Design and Analysis (Repost)

• Download Thousands of Books!
• Download millions of Usenet resources!

1. 艺术设计
2. 有声读物
3. 语言文化
4. 家庭生活
5. 法律
6. 音乐歌词
7. 软件相关
8. BT种子
9. 其它图书
10. 所有留言
12. 留言评论
13. Download Thousands of Books two weeks for FREE!
14. Download millions of Usenet resources!
15. Exam1Pass-Latest IT Certification Study Guide for IT Exams
16. Meetexams
17. 640-802
18. Needking
19. Passshope
20. 海淀驾校

• 推荐到 StumbleUpon!
• del.icio.us
• Google书签
•