Categories for Software Engineering

This book provides a gentle, software engineering oriented introduction to category theory. Assuming only a minimum of mathematical preparation, this book explores the use of categorical constructions from the point of view of the methods and techniques that have been proposed for the engineering of...

Description complète

Détails bibliographiques
Cote:Libro Electrónico
Auteur principal: Fiadeiro, Jose Luiz (Auteur)
Collectivité auteur: SpringerLink (Online service)
Format: Électronique eBook
Langue:Inglés
Publié: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005.
Édition:1st ed. 2005.
Sujets:
Software engineering.
Computer programming.
Compilers (Computer programs).
Computer science.
Computer science-Mathematics.
Software Engineering.
Programming Techniques.
Compilers and Interpreters.
Computer Science Logic and Foundations of Programming.
Mathematics of Computing.
Accès en ligne:Texto Completo
Table des matières:
  • Basics
  • Introducing Categories
  • Building Categories
  • Universal Constructions
  • Functors
  • Advanced Topics
  • Functor-Based Constructions
  • Adjunctions
  • Applications
  • CommUnity
  • Architectural Description
  • An Algebra of Connectors.

Documents similaires