Unbounded allocation in bounded heaps
Presented at the International Conference on Foundations of Software Engineering, Teheran, Iran
|Software (theme 1)|
|F. Arbab (Farhad) , M. Sirjani (Marjan)|
|Lecture Notes in Computer Science|
|International Conference on Foundations of Software Engineering|
Rot, J.C, de Boer, F.S, & Sirjani, M. (2013). Unbounded allocation in bounded heaps. In F Arbab & M Sirjani (Eds.), Fundamentals of software engineering (pp. 1–16). Springer.