tailieunhanh - Concepts, Techniques, and Models of Computer Programming - Chapter 0

Một cách tiếp cận để nghiên cứu lập trình máy tính là để nghiên cứu ngôn ngữ lập trình. Tuy nhiên, có một số lượng rất lớn các ngôn ngữ, vì vậy lớn rằng nó là không thực tế để nghiên cứu chúng. Làm thế nào chúng ta có thể giải quyết vấn đề này mênh mông? Chúng ta có thể chọn một số lượng nhỏ các ngôn ngữ được đại diện lập trình khác nhau mô hình. Nhưng điều này mang lại cho cái nhìn sâu sắc ít vào lập trình như là một kỷ luật thống nhất. Cuốn sách này sử dụng một. | 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 .