Algebras and Coalgebras || Algebraic and
✍
Backhouse, Roland; Crole, Roy; Gibbons, Jeremy
📂
Article
📅
2002
🏛
Springer Berlin Heidelberg
🌐
German
⚖ 166 KB
Program Construction Is About Turning Specifications Of Computer Software Into Implementations. Recent Research Aimed At Improving The Process Of Program Construction Exploits Insights From Abstract Algebraic Tools Such As Lattice Theory, Fixpoint Calculus, Universal Algebra, Category Theory, And Al