Formal Constraints on Memory Management for Composite Overloaded Operations
The memory management rules for abstract data type calculus presented by Rouson, Morris & Xu [15] are recast as formal statements in the Object Constraint Language (OCL) and applied to the design of a thermal energy equation solver. One set of constraints eliminates memory leaks observed in comp...
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Hindawi Limited
2006-01-01
|
| Series: | Scientific Programming |
| Online Access: | http://dx.doi.org/10.1155/2006/731428 |