Programs, Recursion and Unbounded Choice

Zusammenfassung A complete account of the predicate transformation calculus semantics of sequential programs. Inhaltsverzeichnis 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.

Détails du produit

• Auteurs: Wim H. Hesselink, Hesselink Wim H.
• Collaboration: C. J. van Rijsbergen (Editeur), C. J. van Rijsbergen (Editeur)
• Edition: Cambridge University Press ELT
• Langues: Anglais
• Format d'édition: Livre de poche
• Sortie: 22.08.2005
• EAN: 9780521018296
• ISBN: 978-0-521-01829-6
• Pages: 240
• Thème: Cambridge Tracts in Theoretica
• Catégorie: Sciences naturelles, médecine, informatique, technique > Informatique, ordinateurs > Informatique