TAILIEUCHUNG - Concepts, Techniques, and Models of Computer Programming

This innovative text presents computer programming as a unified discipline in a way that is both practical and scientifically sound. The book focuses on techniques of lasting value and explains them precisely in terms of a simple abstract machine. The book presents all major programming paradigms in a uniform framework that shows their deep relationships and how and where to use them an introduction to programming concepts, the book presents both well-known and lesser-known computation models ("programming paradigms"). . | Concepts Techniques and Models of Computer Programming PETER VAN ROY1 Universite catholique de Louvain at Louvain-la-Neuve Swedish Institute of Computer Science SEIF HARIDI2 Royal Institute of Technology KTH Swedish Institute of Computer Science June 5 2003 1Email pvr@ Web http pvr 2Email seif@ Web http seif 11 Copyright @ 2001-3 by P. Van Roy and S. Haridi. All rights reserved. Contents List of Figures xvi List of Tables xxiv Preface xxvii Running the example programs xliii I Introduction 1 1 Introduction to Programming Concepts 3 A calculator. 3 Variables. 4 Functions. 4 Lists. 6 Functions over lists. 9 Correctness. 11 Complexity. 12 Lazy evaluation. 13 Higher-order programming. 15 Concurrency. 16 Dataflow. 17 State. 18 Objects . 19 Classes. 20 Nondeterminism and time. 21 Atomicity. 23 Where do we go from here. 24 Exercises. 24 II General Computation Models 29 2 Declarative Computation Model 31 Copyright @ 2001-3 by P. Van Roy and S. Haridi. All rights .

TAILIEUCHUNG - Chia sẻ tài liệu không giới hạn
Địa chỉ : 444 Hoang Hoa Tham, Hanoi, Viet Nam
Website : tailieuchung.com
Email : tailieuchung20@gmail.com
Tailieuchung.com là thư viện tài liệu trực tuyến, nơi chia sẽ trao đổi hàng triệu tài liệu như luận văn đồ án, sách, giáo trình, đề thi.
Chúng tôi không chịu trách nhiệm liên quan đến các vấn đề bản quyền nội dung tài liệu được thành viên tự nguyện đăng tải lên, nếu phát hiện thấy tài liệu xấu hoặc tài liệu có bản quyền xin hãy email cho chúng tôi.
Đã phát hiện trình chặn quảng cáo AdBlock
Trang web này phụ thuộc vào doanh thu từ số lần hiển thị quảng cáo để tồn tại. Vui lòng tắt trình chặn quảng cáo của bạn hoặc tạm dừng tính năng chặn quảng cáo cho trang web này.