文档介绍：Concepts, Techniques, and Models
puter Programming
PETER VAN ROY1
Universit´e catholique de Louvain (at Louvain-la-Neuve)
Swedish Institute puter Science
SEIF HARIDI2
Royal Institute of Technology (KTH)
Swedish Institute puter Science
June 5, 2003
1Email: ******@,Web: .be/~pvr
2Email: ******@,Web: /~seif
ii
Copyright
c 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
.............................. 3
................................ 4
............................... 4
.................................. 6
.......................... 9
.............................. 11
.............................. 12
............................ 13
-orderprogramming...................... 15
.............................. 16
................................ 17
.................................. 18
................................ 19
................................. 20
...................... 21
............................... 23
...................... 24
................................ 24
II putation Models 29
2 putation Model 31
Copyright
c 2001-3 by P. Van Roy and S. Haridi. All rights reserved.
iv CONTENTS
............. 33
Languagesyntax....................... 33
Languagesemantics...................... 38
-assignmentstore..................... 44
Declarativevariables..................... 44
Valuestore.......................... 44
Valuecreation......................... 45
Variableidentifie