References References
[1]
Paolo Bientinesi, John A. Gunnels, Margaret E. Myers, Enrique S. Quintana-Orti, Robert A. van de Geijn The science of deriving dense linear algebra algorithms, ACM Transactions on Mathematical Software (TOMS), 2005
[2]
Paolo Bientinesi, Enrique S. Quintana-Orti, Robert A. van de Geijn, Representing linear algebra algorithms in code: the FLAME application program interfaces, ACM Transactions on Mathematical Software (TOMS), 2005
[3]
Edsger W. Dijkstra, The Humble Programmer, Communications of the ACM October 1972, 15 no. 10, 859–866.
[4]
David Gries, The Science of Programming (Monographs in Computer Science), Springer, 1987.
[5]
John A. Gunnels, Fred G. Gustavson, Greg M. Henry, Robert A. van de Geijn, FLAME: Formal Linear Algebra Methods Environment, ACM Transactions on Mathematical Software (TOMS), 2001
[6]
Margaret E. Myers and Robert A. van de Geijn, LAFF-On Programming for Correctness, self-published at ulaff.net, 2017.
[7]
Margaret E. Myers and Robert A. van de Geijn, LAFF-On Programming for Correctness, A Massive Open Online Course offered on edX.