- Page 1 and 2: Technical Report UCAM-CL-TR-845 ISS
- Page 3: Black-box composition of mismatched
- Page 9 and 10: Contents 1 Introduction 23 1.1 Dive
- Page 11 and 12: CONTENTS CONTENTS 2.4.2 Run-time er
- Page 13 and 14: CONTENTS CONTENTS 5.5.1 Performance
- Page 15 and 16: CONTENTS CONTENTS 8 Summary and Con
- Page 17 and 18: List of Figures 1.1 Software growin
- Page 19 and 20: LIST OF FIGURES LIST OF FIGURES 5.1
- Page 21 and 22: List of Tables 1.1 Brief comparison
- Page 23 and 24: Chapter 1 Introduction Software sys
- Page 25 and 26: Chapter 1. Introduction 25 When sum
- Page 27 and 28: Chapter 1. Introduction 27 DSpace T
- Page 29 and 30: Chapter 1. Introduction 29 competit
- Page 31 and 32: Chapter 1. Introduction 31 prior to
- Page 33 and 34: Chapter 1. Introduction 33 of loopi
- Page 35 and 36: Chapter 1. Introduction 35 incompat
- Page 37 and 38: Chapter 1. Introduction 37 patching
- Page 39 and 40: Chapter 1. Introduction 39 1.5 Goal
- Page 41 and 42: Chapter 1. Introduction 41 system r
- Page 43 and 44: Chapter 1. Introduction 43 Target b
- Page 45 and 46: Chapter 1. Introduction 45 (dealloc
- Page 47 and 48: Chapter 1. Introduction 47 1.10 Out
- Page 49 and 50: Chapter 2 The Cake language We have
- Page 51 and 52: Chapter 2. The Cake language 51 //
- Page 53 and 54: Chapter 2. The Cake language 53 Cak
- Page 55 and 56: Chapter 2. The Cake language 55 mpe
- Page 57 and 58:
Chapter 2. The Cake language 57 inp
- Page 59 and 60:
Chapter 2. The Cake language 59 poi
- Page 61 and 62:
Chapter 2. The Cake language 61 an
- Page 63 and 64:
Chapter 2. The Cake language 63 //
- Page 65 and 66:
Chapter 2. The Cake language 65 Thi
- Page 67 and 68:
Chapter 2. The Cake language 67 //
- Page 69 and 70:
Chapter 2. The Cake language 69 val
- Page 71 and 72:
Chapter 2. The Cake language 71 2.3
- Page 73 and 74:
Chapter 2. The Cake language 73 Whe
- Page 75 and 76:
Chapter 2. The Cake language 75 1 c
- Page 77 and 78:
Chapter 2. The Cake language 77 /
- Page 79 and 80:
Chapter 2. The Cake language 79 Deb
- Page 81 and 82:
Chapter 2. The Cake language 81 •
- Page 83 and 84:
Chapter 3 Limitations of the Cake l
- Page 85 and 86:
Chapter 3. Limitations of the Cake
- Page 87 and 88:
Chapter 3. Limitations of the Cake
- Page 89 and 90:
Chapter 3. Limitations of the Cake
- Page 91 and 92:
Chapter 3. Limitations of the Cake
- Page 93 and 94:
Chapter 3. Limitations of the Cake
- Page 95 and 96:
Chapter 4 Cake implementation In Ch
- Page 97 and 98:
Chapter 4. Cake implementation 97 i
- Page 99 and 100:
Chapter 4. Cake implementation 99 b
- Page 101 and 102:
Chapter 4. Cake implementation 101
- Page 103 and 104:
Chapter 4. Cake implementation 103
- Page 105 and 106:
Chapter 4. Cake implementation 105
- Page 107 and 108:
Chapter 4. Cake implementation 107
- Page 109 and 110:
Chapter 4. Cake implementation 109
- Page 111 and 112:
Chapter 4. Cake implementation 111
- Page 113 and 114:
Chapter 4. Cake implementation 113
- Page 115 and 116:
Chapter 4. Cake implementation 115
- Page 117 and 118:
Chapter 4. Cake implementation 117
- Page 119 and 120:
Chapter 4. Cake implementation 119
- Page 121 and 122:
Chapter 4. Cake implementation 121
- Page 123 and 124:
Chapter 5 Evaluating the Cake langu
- Page 125 and 126:
Chapter 5. Evaluating the Cake lang
- Page 127 and 128:
Chapter 5. Evaluating the Cake lang
- Page 129 and 130:
Chapter 5. Evaluating the Cake lang
- Page 131 and 132:
Chapter 5. Evaluating the Cake lang
- Page 133 and 134:
Chapter 5. Evaluating the Cake lang
- Page 135 and 136:
Chapter 5. Evaluating the Cake lang
- Page 137 and 138:
Chapter 5. Evaluating the Cake lang
- Page 139 and 140:
Chapter 5. Evaluating the Cake lang
- Page 141 and 142:
Chapter 5. Evaluating the Cake lang
- Page 143 and 144:
Chapter 5. Evaluating the Cake lang
- Page 145 and 146:
Chapter 5. Evaluating the Cake lang
- Page 147 and 148:
Chapter 5. Evaluating the Cake lang
- Page 149 and 150:
Chapter 5. Evaluating the Cake lang
- Page 151 and 152:
Chapter 5. Evaluating the Cake lang
- Page 153 and 154:
Chapter 5. Evaluating the Cake lang
- Page 155 and 156:
Chapter 6 Extending Cake with compo
- Page 157 and 158:
Chapter 6. Extending Cake with comp
- Page 159 and 160:
Chapter 6. Extending Cake with comp
- Page 161 and 162:
Chapter 6. Extending Cake with comp
- Page 163 and 164:
Chapter 6. Extending Cake with comp
- Page 165 and 166:
Chapter 6. Extending Cake with comp
- Page 167 and 168:
Chapter 6. Extending Cake with comp
- Page 169 and 170:
Chapter 6. Extending Cake with comp
- Page 171 and 172:
Chapter 6. Extending Cake with comp
- Page 173 and 174:
Chapter 6. Extending Cake with comp
- Page 175 and 176:
Chapter 6. Extending Cake with comp
- Page 177 and 178:
Chapter 7 Related work Other work h
- Page 179 and 180:
Chapter 7. Related work 179 should
- Page 181 and 182:
Chapter 7. Related work 181 Event-b
- Page 183 and 184:
Chapter 7. Related work 183 Synthes
- Page 185 and 186:
Chapter 7. Related work 185 whereas
- Page 187 and 188:
Chapter 7. Related work 187 on conv
- Page 189 and 190:
Chapter 7. Related work 189 perform
- Page 191 and 192:
Chapter 7. Related work 191 quantif
- Page 193 and 194:
Chapter 7. Related work 193 promote
- Page 195 and 196:
Chapter 7. Related work 195 theseto
- Page 197 and 198:
Chapter 7. Related work 197 Exogeno
- Page 199 and 200:
Chapter 7. Related work 199 only bi
- Page 201 and 202:
Chapter 8 Summary and Conclusions T
- Page 203 and 204:
Chapter 8. Summary and Conclusions
- Page 205 and 206:
Appendix A Glossary This appendix b
- Page 207 and 208:
Appendix A. Glossary 207 interface
- Page 209 and 210:
Appendix B Cake recipes This Append
- Page 211 and 212:
Appendix B. Cake recipes 211 table
- Page 213 and 214:
Appendix C Grammar of the Cake lang
- Page 215 and 216:
Appendix C. Grammar of the Cake lan
- Page 217 and 218:
Appendix C. Grammar of the Cake lan
- Page 219 and 220:
Appendix C. Grammar of the Cake lan
- Page 221 and 222:
Appendix D Case study code This Cha
- Page 223 and 224:
Appendix D. Case study code 223 } }
- Page 225 and 226:
Appendix D. Case study code 225 gtk
- Page 227 and 228:
Appendix D. Case study code 227 };
- Page 229 and 230:
Appendix D. Case study code 229 _XF
- Page 231 and 232:
Appendix E Simple dynamic points-to
- Page 233 and 234:
Appendix E. Simple dynamic points-t
- Page 235 and 236:
Appendix E. Simple dynamic points-t
- Page 237 and 238:
Appendix E. Simple dynamic points-t
- Page 239 and 240:
Bibliography F. Achermann and O. Ni
- Page 241 and 242:
Bibliography 241 C. Clifton, G. T.
- Page 243 and 244:
Bibliography 243 C. Fournet and G.
- Page 245 and 246:
Bibliography 245 W. Kent. The many
- Page 247 and 248:
Bibliography 247 R. Milner, M. Toft
- Page 249 and 250:
Bibliography 249 N. Sample, D. Beri
- Page 251:
Bibliography 251 L. Wall and M. Lou