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 journalArticle

1 Citation (Scopus)
Original languageEnglish
Pages (from-to)145-168
Number of pages24
JournalThe Computer Journal
Volume39(2)
Publication statusPublished - Jan 1996

Cite this