Set constraints for destructive array update optimization

DOI10.1017/S0956796801003938zbMath0976.68025MaRDI QIDQ2732172

Mitchell Wand, William D. Clinger

Publication date: 23 July 2001

Published in: Journal of Functional Programming (Search for Journal in Brave)

zbMATH Keywords

destructive array

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Related Items (1)

Automatic proofs of memory deallocation for a Whiley-to-C compiler

This page was built for publication: Set constraints for destructive array update optimization