The tailoring of abstract functional specifications of numerical algorithms for sparse data structures through automated program derivation and transformation

Autoria(s): Fitzpatrick, S.; Clint, Maurice; Harmer, Terence; Kilpatrick, Peter
Data(s)

01/01/1996
Identificador

http://pure.qub.ac.uk/portal/en/publications/the-tailoring-of-abstract-functional-specifications-of-numerical-algorithms-for-sparse-data-structures-through-automated-program-derivation-and-transformation(ec3ebb29-8373-4b42-a1bb-9fabc5dcfe13).html
Idioma(s)

eng
Direitos

info:eu-repo/semantics/restrictedAccess
Fonte

Fitzpatrick , S , Clint , M , Harmer , T & Kilpatrick , P 1996 , ' The tailoring of abstract functional specifications of numerical algorithms for sparse data structures through automated program derivation and transformation ' The Computer Journal , vol 39(2) , pp. 145-168 .
Tipo

article
Acesso ao item digital