LFCS Seminar: Tuesday, 18 October - Jacques Carette Title: From structured theories to efficient code in 6 easy steps Abstract: Writing efficient, correct code by hand is difficult and time consuming. Writing a large library of efficient, correct and useful algorithms is daunting. However, if one approaches this task via generic and generative programming, in a typed setting, the task gets considerably easier. By leveraging much of the structural information buried in the foundations of mathematics and computer science, we can build a libraries with wide coverage but in relatively few lines of code, through a succession of abstraction layers. The general tools as well as some specific case studies (prototype implementations) will be presented. Oct 18 2022 16.10 - 17.00 LFCS Seminar: Tuesday, 18 October - Jacques Carette Jacques Carette McMaster University https://www.cas.mcmaster.ca/~carette/ IF G.03
LFCS Seminar: Tuesday, 18 October - Jacques Carette Title: From structured theories to efficient code in 6 easy steps Abstract: Writing efficient, correct code by hand is difficult and time consuming. Writing a large library of efficient, correct and useful algorithms is daunting. However, if one approaches this task via generic and generative programming, in a typed setting, the task gets considerably easier. By leveraging much of the structural information buried in the foundations of mathematics and computer science, we can build a libraries with wide coverage but in relatively few lines of code, through a succession of abstraction layers. The general tools as well as some specific case studies (prototype implementations) will be presented. Oct 18 2022 16.10 - 17.00 LFCS Seminar: Tuesday, 18 October - Jacques Carette Jacques Carette McMaster University https://www.cas.mcmaster.ca/~carette/ IF G.03
Oct 18 2022 16.10 - 17.00 LFCS Seminar: Tuesday, 18 October - Jacques Carette Jacques Carette McMaster University https://www.cas.mcmaster.ca/~carette/
