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

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.

Abstract is missing.

runs on WebDSL