Unbounded allocation in bounded heaps
Presented at the International Conference on Foundations of Software Engineering, Teheran, Iran
|THEME||Software (theme 1)|
|Editor||F. Arbab (Farhad) , M. Sirjani (Marjan)|
|Series||Lecture Notes in Computer Science|
|Conference||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.