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

S. Fitzpatrick; Maurice Clint; Terence Harmer; Peter Kilpatrick

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

S. Fitzpatrick, Maurice Clint, Terence Harmer, Peter Kilpatrick

Research output: Contribution to journal › Article › peer-review

Original language	English
Pages (from-to)	145-168
Number of pages	24
Journal	The Computer Journal
Volume	39(2)
Publication status	Published - Jan 1996

Cite this

@article{ec3ebb2983734b42a1bb9fabc5dcfe13,

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

author = "S. Fitzpatrick and Maurice Clint and Terence Harmer and Peter Kilpatrick",

year = "1996",

month = jan,

language = "English",

volume = "39(2)",

pages = "145--168",

journal = "The Computer Journal",

issn = "0010-4620",

publisher = "Oxford University Press",

}

TY - JOUR

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

AU - Fitzpatrick, S.

AU - Clint, Maurice

AU - Harmer, Terence

AU - Kilpatrick, Peter

PY - 1996/1

Y1 - 1996/1

M3 - Article

SN - 0010-4620

VL - 39(2)

SP - 145

EP - 168

JO - The Computer Journal

JF - The Computer Journal

ER -