The Tailoring of Abstract Functional Specifications of Numerical Algorithms for Sparse Data Structures through Automated Program Derivation and Transformation - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Stephen Fitzpatrick, Maurice Clint, Terence J. Harmer, Peter Kilpatrick. The Tailoring of Abstract Functional Specifications of Numerical Algorithms for Sparse Data Structures through Automated Program Derivation and Transformation. Comput. J., 39(2):145-168, 1996.

This author has not been identified. Look up 'Stephen Fitzpatrick' in GoogleThis author has not been identified. Look up 'Maurice Clint' in GoogleThis author has not been identified. Look up 'Terence J. Harmer' in GoogleThis author has not been identified. Look up 'Peter Kilpatrick' in Google

runs on WebDSL