Programs, Recursion and Unbounded Choice

ISBN: 9780521018296 出版年：1992 页码：239 Wim H Hesselink Cambridge University Press

List of symbols Introduction 1. Weakest preconditions 2. Annotation, recursion and repetition 3. Healthiness laws 4. Semantics of recursion 5. Ramifications 6. Relational semantics 7. Determinacy and disjunctivity 8. Syntactic criteria 9. Operational semantics of recursion 10. Procedure substitutions 11. Induction and semantic equality 12. Induction and refinement 13. The strong preorder 14. Temporal operators 15. Predicative fairness 16. Solutions of exercises References Index of concepts and identifiers.