Sciweavers

ACMMPC
2000
Springer
238views Mathematics» more  ACMMPC 2000»
14 years 3 months ago
Ordered Sets and Complete Lattices
Abstract. These notes deal with an interconnecting web of mathematical techniques all of which deserve a place in the armoury of the welleducated computer scientist. The objective ...
Hilary A. Priestley
ACMMPC
2000
Springer
236views Mathematics» more  ACMMPC 2000»
14 years 3 months ago
Calculating Functional Programs
Abstract. Functional programs are merely equations; they may be manipulated by straightforward equational reasoning. In particular, one can use this style of reasoning to calculate...
Jeremy Gibbons
ACMMPC
2000
Springer
249views Mathematics» more  ACMMPC 2000»
14 years 3 months ago
Algebraic Methods for Optimization Problems
Abstract. We argue for the benefits of relations over functions for modelling programs, and even more so for modelling specifications. To support this argument, we present an ext...
Richard S. Bird, Jeremy Gibbons, Shin-Cheng Mu
ACMMPC
2000
Springer
231views Mathematics» more  ACMMPC 2000»
14 years 3 months ago
Galois Connections and Fixed Point Calculus
Fixed point calculus is about the solution of recursive equations de˛ned by a monotonic endofunction on a partially ordered set. This tutorial presents the basic theory of ˛xed ...
Roland Carl Backhouse
ACMMPC
2000
Springer
240views Mathematics» more  ACMMPC 2000»
14 years 3 months ago
Algebras and Coalgebras
Peter Aczel