Formal constraints on memory management for composite overloaded operations

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]

Abstract

Abstract is missing.