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.