Damian W. I. Rouson, Xiaofeng Xu, Karla Morris. Formal constraints on memory management for composite overloaded operations. Scientific Programming, 14(1):27-40, 2006. [doi]
@article{RousonXM06,
title = {Formal constraints on memory management for composite overloaded operations},
author = {Damian W. I. Rouson and Xiaofeng Xu and Karla Morris},
year = {2006},
url = {http://iospress.metapress.com/openurl.asp?genre=article&issn=1058-9244&volume=14&issue=1&spage=27},
tags = {memory management, constraints},
researchr = {https://researchr.org/publication/RousonXM06},
cites = {0},
citedby = {0},
journal = {Scientific Programming},
volume = {14},
number = {1},
pages = {27-40},
}