Formal constraints on memory management for composite overloaded operations

@article{Rouson2006FormalCO,
  title={Formal constraints on memory management for composite overloaded operations},
  author={Damian W. I. Rouson and Xiaofeng Xu and Karla Morris},
  journal={Scientific Programming},
  year={2006},
  volume={14},
  pages={27-40}
}
BETA