Mathematical methods in program development

Front Matter....Pages I-VIII
Eliminating the Chaff—Again Banquet Speech at Marktoberdorf 1996....Pages 1-8
Envoi at Marktoberdorf 1996....Pages 9-10
Front Matter....Pages 11-12
Heuristics for a very simple Euclidean proof (EWD1180)....Pages 13-15
Complete DAGs (EWD1204)....Pages 17-18
A result of rabbit removal (EWD1208)....Pages 19-24
For the record: painting the squared plane (EWD1212)....Pages 25-26
The marriage agency (EWD1214)....Pages 27-28
Courtesy Dr. Birgit Schieder (EWD1215)....Pages 29-31
WLOG, or the misery of the unordered pair (EWD1223)....Pages 33-34
My simplest theorem (EWD1232)....Pages 35-35
The transitive closure of a wellfounded relation (EWD1241)....Pages 37-39
The formula for sin.(α + β) (EWD1244a)....Pages 41-42
A kind of converse of Leibniz’s Principle (EWD1245)....Pages 43-44
The strengths of the academic enterprise (EWD1175)....Pages 45-52
On a Method for the Formal Design of Multiprograms (AvG140/WF231)....Pages 53-81
Foundations for Calculational Logic....Pages 83-126
Front Matter....Pages 127-128
Specification and Design of a Transmission Protocol by Successive Refinements Using B 1 ....Pages 129-200
Formal Derivation of a Protocol in CSP....Pages 201-212
Front Matter....Pages 213-214
Genesis of Algorithmic Languages....Pages 215-269
Mathematical Methods in System and Software Engineering....Pages 271-312
Front Matter....Pages 213-214
Unified Theories of Programming....Pages 313-367
Front Matter....Pages 369-370
On the relationship between classes, objects and data abstraction....Pages 371-407
The Oz Programming Model....Pages 409-432
A Foundation for Higher-order Concurrent Constraint Programming....Pages 433-458
Front Matter....Pages 459-460
Tool Support for Logics of Programs....Pages 461-498
Machine-Assisted Verification Using Theorem Proving and Model Checking....Pages 499-528
Back Matter....Pages 529-537