Symbolic Computation Group
David R. Cheriton School of Computer Science


Friday, March 9, 2012, at U. of Waterloo From structured theories to efficient code in 6 easy steps Jacques Carette, McMaster University Abstract: As building a new mechanized mathematics system is a very large endeavour, we have decided to take a very disciplined approach to such a long term project. While we want to produce efficient, generic and correct code, we consider it infeasible to do this (again) `by hand'. By taking a generative approach which maximally leverages known mathematical structures, we are building a new system in a succession of abstraction layers. Some insight into these layers will be presented.

Last modified on Wednesday, 07 November 2012, at 12:12 hours.