A formal soundness proof of region-based memory management for object-oriented paradigm

F Craciun, S Qin, WN Chin - International Conference on Formal …, 2008 - Springer
Region-based memory management has been proposed as a viable alternative to garbage
collection for real-time applications and embedded software. In our previous work we have …
被引用次数：5 相关文章

A Formal Soundness Proof of Region-Based Memory Management for Object-Oriented Paradigm

F Craciun, S Qin, WN Chin - Formal Methods and Software Engineering - infona.pl
Region-based memory management has been proposed as a viable alternative to garbage
collection for real-time applications and embedded software. In our previous work we have …
[PDF] psu.edu

[PDF][PDF] A Formal Soundness Proof of Region-based Memory Management for Object-Oriented Paradigm

F Craciun, S Qin, WN Chin - Citeseer
Region-based memory management has been proposed as a viable alternative to garbage
collection for real-time applications and embedded software. In our previous work we have …

A Formal Soundness Proof of Region-Based Memory Management for Object-Oriented Paradigm

F Craciun, S Qin, WN Chin - … of the 10th International Conference on …, 2008 - dl.acm.org
Region-based memory management has been proposed as a viable alternative to garbage
collection for real-time applications and embedded software. In our previous work we have …

A formal soundness proof of region-based memory management for object-oriented paradigm

F Craciun, S Qin, WN Chin - 2008 - scholarbank.nus.edu.sg
Region-based memory management has been proposed as a viable alternative to garbage
collection for real-time applications and embedded software. In our previous work we have …

A Formal Soundness Proof of Region-Based Memory Management for Object-Oriented Paradigm

F Craciun, S Qin, WN Chin - … -City, Japan, October 27-31, 2008 …, 2008 - books.google.com
Region-based memory management has been proposed as a viable alternative to garbage
collection for real-time applications and embedded software. In our previous work we have …

A Formal Soundness Proof of Region-based Memory Management for Object-Oriented Paradigm

F Craciun, S Qin, WN Chin, S Liu, T Maibaum - 2008 - durham-repository.worktribe.com
Region-based memory management has been proposed as a viable alternative to garbage
collection for real-time applications and embedded software. In our previous work we have …
[PDF] academia.edu

[PDF][PDF] A Formal Soundness Proof of Region-based Memory Management for Object-Oriented Paradigm

F Craciun, S Qin, WN Chin - 2009 - academia.edu
Region-based memory management has been proposed as a viable alternative to garbage
collection for real-time applications and embedded software. In our previous work we have …

A Formal Soundness Proof of Region-Based Memory Management for Object-Oriented Paradigm

F Craciun, S Qin, WN Chin - Formal Methods and Software Engineering - Springer
Region-based memory management has been proposed as a viable alternative to garbage
collection for real-time applications and embedded software. In our previous work we have …

A formal soundness proof of region-based memory management for object-oriented paradigm

F Craciun, S Qin, WN Chin - International Conference on …, 2008 - research.tees.ac.uk
Region-based memory management has been proposed as a viable alternative to garbage
collection for real-time applications and embedded software. In our previous work we have …