Listar ICC_Articles por fuente "Formal Aspects of Computing, vol. 25, Issue 6, p. 933-945"
Mostrando ítems 1-1 de 1
-
Deriving dense linear algebra libraries
Springer London (2013-11)Starting in the late 1960s computer scientists including Dijkstra and Hoare advocated goal- oriented programming and the formal derivation of algorithms. The chief impediment to realizing this for loop-based programs was ...