In the late '80s, Maryland University's CIS department started developing and teaching "A Mathematical Approach to Computer Programming" (so it says on my old text book). It looked like a good idea but was too immature to be of any real use.
That was more than 10 years ago. Does anyone know of any research or references to set theory (for SQL logic) or programmatic calculus?