Therese Hardin - Concepts and Semantics of Programming Languages 2

1 Cover

2 Title Page Series Editor Jean-Charles Pomerol

3 Copyright First published 2021 in Great Britain and the United States by ISTE Ltd and John Wiley & Sons, Inc. Apart from any fair dealing for the purposes of research or private study, or criticism or review, as permitted under the Copyright, Designs and Patents Act 1988, this publication may only be reproduced, stored or transmitted, in any form or by any means, with the prior permission in writing of the publishers, or in the case of reprographic reproduction in accordance with the terms and licenses issued by the CLA. Enquiries concerning reproduction outside these terms should be sent to the publishers at the undermentioned address: ISTE Ltd 27-37 St George’s Road London SW19 4EU UK www.iste.co.uk John Wiley & Sons, Inc. 111 River Street Hoboken, NJ 07030 USA www.wiley.com © ISTE Ltd 2021 The rights of Thérèse Hardin, Mathieu Jaume, François Pessaux and Véronique Viguié Donzeau-Gouge to be identified as the authors of this work have been asserted by them in accordance with the Copyright, Designs and Patents Act 1988. Library of Congress Control Number: 2021935827 British Library Cataloguing-in-Publication Data A CIP record for this book is available from the British Library ISBN 978-1-78630-602-9

4 Foreword

5 Preface

6 1 Namespaces: Model and Operations 1.1. Reusing, dividing, confining 1.2. Namespaces 1.3. kitdevelopment 1.4. Incomplete kits 1.5. Parameterized kits 1.6. Functors of kits 1.7. kitextension 1.8. Conclusion

7 2 Modules 2.1. Modules in Ada 2.2. Modules in OCaml 2.3. Modularity, namespaces and W-kit

8 3 Class and Object Features 3.1. Object-oriented features 3.2. kitsand object features

9 4 Classes in Selected Languages 4.1. Classes in Java 4.2. Classes in C++ 4.3. Classes in OCaml 4.4. Presentation of Python

10 Appendix: Questions to Guide Learning

11 List of Notations

12 References

13 Index

14 End User License Agreement

1 Chapter 4Table 4.1. Effects of marksTable 4.2. Semantics of marks depending on the inheritance kind

1 Cover

2 Table of Contents

3 Title Page Series Editor Jean-Charles Pomerol

4 Copyright First published 2021 in Great Britain and the United States by ISTE Ltd and John Wiley & Sons, Inc. Apart from any fair dealing for the purposes of research or private study, or criticism or review, as permitted under the Copyright, Designs and Patents Act 1988, this publication may only be reproduced, stored or transmitted, in any form or by any means, with the prior permission in writing of the publishers, or in the case of reprographic reproduction in accordance with the terms and licenses issued by the CLA. Enquiries concerning reproduction outside these terms should be sent to the publishers at the undermentioned address: ISTE Ltd 27-37 St George’s Road London SW19 4EU UK www.iste.co.uk John Wiley & Sons, Inc. 111 River Street Hoboken, NJ 07030 USA www.wiley.com © ISTE Ltd 2021 The rights of Thérèse Hardin, Mathieu Jaume, François Pessaux and Véronique Viguié Donzeau-Gouge to be identified as the authors of this work have been asserted by them in accordance with the Copyright, Designs and Patents Act 1988. Library of Congress Control Number: 2021935827 British Library Cataloguing-in-Publication Data A CIP record for this book is available from the British Library ISBN 978-1-78630-602-9

5 Foreword

6 Preface

7 Begin Reading

8 Appendix: Questions to Guide Learning

9 List of Notations

10 References

11 Index

12 End User License Agreement

1 v

2 iii

3 iv

4 ix

5 x

6 xi

7 xii

8 1

9 2

10 3

11 4

12 5

13 6

14 7

15 8

16 9

17 10

18 11

19 12

20 13

21 14

22 15

23 16

24 17

25 18

26 19

27 20

28 21

29 22

30 23

31 24

32 25

33 26

34 27

35 28

36 29

37 30

38 31

39 32

40 33

41 34

42 35

43 36

44 37

45 38

46 39

47 40

48 41

49 42

50 43

51 44

52 45

53 46

54 47

55 48

56 49

57 50

58 51

59 52

60 53

61 54

62 55

63 56

64 57

65 58

66 59

67 60

68 61

69 62

70 63

71 64

72 65

73 66

74 67

75 68

76 69

77 70

78 71

79 72

80 73

81 74

82 75

83 76

84 77

85 78

86 79

87 80

88 81

89 82

90 83

91 84

92 85

93 86

94 87

95 88

96 89

97 90

98 91

99 93

100 94

101 95

102 96

103 97

104 98

105 99

106 100

107 101

108 102

109 103

110 104

111 105

112 106

113 107

114 108

115 109

116 110

117 111

118 112

119 113

120 114

121 115

122 116

123 117

124 118

125 119

126 120

127 121

128 123

129 124

130 125

131 126

132 127

133 128

134 129

135 130

136 131

137 132

138 133

139 134

140 135

141 136

142 137

143 138

144 139

145 140

146 141

147 142

148 143

149 144

150 145

151 146

152 147

153 148

154 149

155 150

156 151

157 152

158 153

159 154

160 155

161 156

162 157

163 158

164 159

165 160

166 161

167 162

168 163

169 164

170 165

171 166

172 167

173 168

174 169

175 170

176 171

177 172

178 173

179 174

180 175

181 176

182 177

183 178

184 179

185 180

186 181

187 182

188 183

189 184

190 185

191 186

192 187

193 188

194 189

195 190

196 191

197 192

198 193

199 194

200 195

201 196

202 197

203 198

204 199

205 200

206 201

207 202

208 203

209 204

210 205

211 206

212 207

213 208

214 209

215 210

216 211

217 212

218 213

219 214

220 215

221 216

222 217

223 218

224 219

225 220

226 221

227 222

228 223

229 224

230 225

231 226

232 227

233 228

234 229

235 230

236 231

237 233

238 234

239 235

240 236

241 237

242 238

243 239

244 240

245 241

246 242

247 243

248 244

249 245

250 246

251 247

252 248

Series Editor

Jean-Charles Pomerol

Thérèse Hardin

Mathieu Jaume

François Pessaux

Véronique Viguié Donzeau-Gouge

First published 2021 in Great Britain and the United States by ISTE Ltd and John Wiley & Sons, Inc.