Edinburgh Research Explorer

Automatic Verification of Functions with Accumulating Parameters

Research output: Contribution to journalArticle

Standard

Automatic Verification of Functions with Accumulating Parameters. / Ireland, A.; Bundy, Alan.

In: Journal of Functional Programming, Vol. 9, No. 2, 1999, p. 225-245.

Research output: Contribution to journalArticle

Harvard

Ireland, A & Bundy, A 1999, 'Automatic Verification of Functions with Accumulating Parameters', Journal of Functional Programming, vol. 9, no. 2, pp. 225-245.

APA

Ireland, A., & Bundy, A. (1999). Automatic Verification of Functions with Accumulating Parameters. Journal of Functional Programming, 9(2), 225-245.

Vancouver

Ireland A, Bundy A. Automatic Verification of Functions with Accumulating Parameters. Journal of Functional Programming. 1999;9(2):225-245.

Author

Ireland, A. ; Bundy, Alan. / Automatic Verification of Functions with Accumulating Parameters. In: Journal of Functional Programming. 1999 ; Vol. 9, No. 2. pp. 225-245.