Verification of programs that destructively manipulate data

Authors:
I. A. Mason
Affiliations:
Edinburgh Univ., Edinburgh, UK
Venue:
Science of Computer Programming
Year:
1988

Citing 0
Cited 3

Programming with variable functions

ICFP '98 Proceedings of the third ACM SIGPLAN international conference on Functional programming
FUNCTIONAL PEARL: Unfolding pointer algorithms

Journal of Functional Programming
Calculational derivation of algorithms on tree-based pointer structures

FAC-RW'96 Proceedings of the BCS-FACS 7th conference on Refinement

Quantified Score

Hi-index	0.00

Visualization

Abstract