Initial Computability Algebraic Specifications and Partial Algebras - Couverture rigide

Reichel, Horst

Couverture rigide

ISBN 10 : 0198538065 ISBN 13 : 9780198538066

Editeur : Clarendon Press, 1987

Synopsis

The aim of this book is to increase the use of partial algebras, especially in computer science. It sets out to achieve this by presenting examples of increasing complexity of algebraic specifications using essentially partial operations, and by proving that structural induction alone yields on equationally partial algebras a complete calculus of abstract programs on parametrized abstract data types. It develops a special kind of partiality - the equational partiality - both as a sound formal basis for algebraic specifications with partial operations, and as a proper generalization of universal algebra from total algebras to partial ones. The book extends the modeltheoretic initial semantics of abstract data types with partial operations to behavioural semantics. Postgraduate and third year mathematicians (algebraists particularly) and computer scientists (courses on 'Formal Models in Programming').

Détails de l'édition

• Éditeur: Clarendon Press
• Date d'édition: 1987
• Langue: anglais
• ISBN 10: 0198538065
• ISBN 13: 9780198538066
• Reliure: Relié
• Nombre de pages: 220
• Coordonnées du fabricant: non disponible
• Personne responsable: Ufficio Anagrafiche Messaggerie; ufficio.anagrafiche@meli.it; ; Via Verdi, 8.; Assago Milano; 20090; Italie