Program logic and equivalence in the presence of garbage collection

Author： Calcagno C.   O'Hearn P.   Bornat R.  

Publisher： Elsevier

ISSN： 0304-3975

Source： Theoretical Computer Science, Vol.298, Iss.3, 2003-04, pp. : 557-581

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Finer Garbage Collection in Lindacap

By  

International Journal of Information Technology and Web Engineering (IJITWE), Vol. 5, Iss. 3, 2010-07 ,pp. : 1-26

IGI Global_journal

Access to resources Recommend Favorite

Simple concurrent garbage collection almost without synchronization

By Hesselink Wim   Lali M.  

Formal Methods in System Design, Vol. 36, Iss. 2, 2010-06 ,pp. : 148-166

Springer Publishing Company

Access to resources Recommend Favorite

Garbage collection-aware utility accrual scheduling

By Feizabadi Shahrooz   Back Godmar  

Real-Time Systems, Vol. 36, Iss. 1-2, 2007-07 ,pp. : 3-22

Springer Publishing Company

Access to resources Recommend Favorite

Schedulable garbage collection in CLI virtual execution system

By Goh Okehee   Lee Yann-Hang   Kaakani Ziad   Rachlin Elliott  

Real-Time Systems, Vol. 36, Iss. 1-2, 2007-07 ,pp. : 47-74

Springer Publishing Company

Access to resources Recommend Favorite

Scheduling of hard real-time garbage collection

By Schoeberl Martin  

Real-Time Systems, Vol. 45, Iss. 3, 2010-08 ,pp. : 176-213

Springer Publishing Company

Access to resources Recommend Favorite